perm filename S82.IN[LET,JMC] blob
sn#686797 filedate 1982-09-04 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00296 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00036 00002 ∂01-Apr-82 1034 Ted Anderson <OTA at S1-A>
C00039 00003 ∂01-Apr-82 1159 Ehud Shapiro <Shapiro at YALE> Re: your visit
C00043 00004 ∂01-Apr-82 1358 Paul Armer <CSD.ARMER at SU-SCORE> Publications
C00045 00005 ∂01-Apr-82 1435 FFL
C00046 00006 ∂01-Apr-82 2243 Ted Anderson <OTA at S1-A>
C00047 00007 ∂02-Apr-82 0945 JK chien at NSF
C00048 00008 ∂02-Apr-82 1135 NAN pmessage
C00049 00009 ∂02-Apr-82 1407 Konolige at SRI-AI sato
C00050 00010 ∂02-Apr-82 1416 TW via Ethernet host 50#105 AI qual
C00054 00011 ∂02-Apr-82 1448 MDD via NYU
C00055 00012 ∂02-Apr-82 1452 MDD via NYU
C00056 00013 ∂02-Apr-82 1459 Doug Lenat <CSD.LENAT at SU-SCORE> Re: AI qual
C00057 00014 ∂02-Apr-82 1544 Betty Scott <CSD.BSCOTT at SU-SCORE> Research Associate salaries
C00058 00015 ∂02-Apr-82 1656 Ichiki at SRI-AI 4/8 TINLUNCH meeting
C00060 00016 ∂03-Apr-82 0838 Colmerauer.TextMgt at MIT-MULTICS your coming to Marseille
C00062 00017 ∂03-Apr-82 0939 MDD via NYU
C00063 00018 ∂03-Apr-82 0951 MDD via NYU
C00064 00019 ∂03-Apr-82 1611 Arthur Keller <ARK at SU-AI> Sigma Xi
C00066 00020 ∂04-Apr-82 1113 Gene Golub <CSD.GOLUB at SU-SCORE> Forsythe rememberance
C00068 00021 ∂05-Apr-82 0738 JK
C00069 00022 ∂05-Apr-82 0830 PJH via ROCHESTER visit
C00070 00023 ∂05-Apr-82 1059 FFL
C00071 00024 ∂05-Apr-82 1108 FFL
C00072 00025 ∂05-Apr-82 1110 FFL
C00073 00026 ∂05-Apr-82 1113 FFL
C00074 00027 ∂05-Apr-82 1133 RPG New rates
C00075 00028 ∂05-Apr-82 1133 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF APRIL 5 - 9, 1982
C00077 00029 ∂05-Apr-82 1630 CG
C00078 00030 ∂05-Apr-82 1803 David Warren <WARREN at SRI-AI> Boosting DEC's Confidence in Prolog
C00080 00031 ∂05-Apr-82 2000 JMC*
C00081 00032 ∂06-Apr-82 0425 ARK Fonts
C00082 00033 ∂06-Apr-82 0810 RPG Potential in absentia problem
C00083 00034 ∂06-Apr-82 0900 JMC*
C00084 00035 ∂06-Apr-82 0942 RWW new pricing for SAIL
C00085 00036 ∂06-Apr-82 0958 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Reminder
C00086 00037 ∂06-Apr-82 1006 RWW
C00088 00038 ∂06-Apr-82 1007 RWW ps
C00089 00039 ∂06-Apr-82 1019 RWW pps
C00090 00040 ∂06-Apr-82 1216 MLB LM-2 tryout
C00091 00041 ∂06-Apr-82 1400 JMC*
C00092 00042 ∂06-Apr-82 2245 ARK FYI: csd-cf actng
C00094 00043 ∂07-Apr-82 0912 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF APRIL 12 - 16, 1982
C00096 00044 ∂07-Apr-82 1019 RPG SAIL charges
C00097 00045 ∂07-Apr-82 1155 JK
C00100 00046 ∂07-Apr-82 1609 ARK SAIL Payers Meeting
C00101 00047 ∂07-Apr-82 1610 reid at PARC-MAXC the Tedium is the message?
C00104 00048 ∂07-Apr-82 1653 RPG Rates
C00107 00049 ∂07-Apr-82 1807 Gene Golub <CSD.GOLUB at SU-SCORE> CSNET
C00108 00050 ∂07-Apr-82 1902 CLT
C00109 00051 ∂07-Apr-82 1911 CLT
C00110 00052 ∂08-Apr-82 0802 JK chien
C00113 00053 ∂08-Apr-82 2326 pratt@Shasta (SuNet) Software ownership
C00116 00054 ∂09-Apr-82 0002 Colmerauer.TextMgt at MIT-MULTICS
C00117 00055 ∂09-Apr-82 0139 pratt@Shasta (SuNet) Xerox file service
C00119 00056 ∂09-Apr-82 0141 pratt@Shasta (SuNet) Patent rights
C00120 00057 ∂09-Apr-82 0253 Arthur Keller <ARK at SU-AI> Please come to the CSD Pot Luck April 17
C00122 00058 ∂09-Apr-82 0703 EJS
C00123 00059 ∂09-Apr-82 0843 Gene Golub <CSD.GOLUB at SU-SCORE> Reminder
C00124 00060 ∂09-Apr-82 0854 pratt@Shasta at Sumex-Aim Spring Pot Luck
C00128 00061 ∂09-Apr-82 1551 TW via PARC-MAXC Book
C00129 00062 ∂10-Apr-82 1000 JMC*
C00130 00063 ∂10-Apr-82 1351 JDH chess program
C00131 00064 ∂10-Apr-82 1706 Brian Reid <reid@Shasta at Sumex-Aim> Re: Spring Pot Luck
C00132 00065 ∂12-Apr-82 0947 Betty Scott <CSD.BSCOTT at SU-SCORE> ARPA Contract N00039-82-C-0250
C00133 00066 ∂12-Apr-82 1119 Archbold at SRI-AI Thurs. 4/15 - 10:30 Talk and TINLunch - Ben Cohen on Prototypes and Knowledge Representation
C00136 00067 ∂12-Apr-82 1133 Paul Armer <CSD.ARMER at SU-SCORE> CSD Plans
C00138 00068 ∂12-Apr-82 1408 Bob Moore <BMOORE at SRI-AI> Addendum to TINLUNCH announcement
C00139 00069 ∂12-Apr-82 1509 FFL
C00140 00070 ∂12-Apr-82 1600 TW via Ethernet host 50#105 Qual reading list
C00141 00071 ∂12-Apr-82 1617 Archbold at SRI-AI Thurs. 4/15 TINLunch - Draft of Ben Cohen's Talk
C00142 00072 ∂12-Apr-82 1714 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF APRIL 12 - 16, 1982
C00143 00073 ∂13-Apr-82 1012 Gene Golub <CSD.GOLUB at SU-SCORE> Today's lunch
C00144 00074 ∂13-Apr-82 1258 Brian Reid <reid@Shasta at Sumex-Aim> Re: CSD Plans
C00146 00075 ∂13-Apr-82 1534 Gene Golub <CSD.GOLUB at SU-SCORE> Hilfinger
C00149 00076 ∂14-Apr-82 0831 DDY Oh, no!--LISP!
C00150 00077 ∂14-Apr-82 0913 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF APRIL 19 - 23, 1982
C00153 00078 ∂14-Apr-82 0918 PJH via ROCHESTER yr message
C00154 00079 ∂14-Apr-82 1618 Wiederhold at SUMEX-AIM Re: ARPA Contract N00039-82-C-0250
C00156 00080 ∂14-Apr-82 2215 Lowell Wood <LLW at S1-A> Die Untergang Des SAIL
C00172 00081 ∂15-Apr-82 0910 Betty Scott <CSD.BSCOTT at SU-SCORE> Re: ARPA Contract N00039-82-C-0250
C00173 00082 ∂15-Apr-82 1004 Archbold at SRI-AI >>> REMINDER : 10:30 TALK, 12:00 TINLUNCH - BEN COHEN, PROTOTYPE THEORY, TODAY <<<
C00174 00083 ∂15-Apr-82 1025 DCL Re: ARPA Contract N00039-82-C-0250
C00176 00084 ∂15-Apr-82 1142 Betty Scott <CSD.BSCOTT at SU-SCORE> Re: ARPA Contract N00039-82-C-0250
C00177 00085 ∂15-Apr-82 1237 Wiederhold at SUMEX-AIM Re: ARPA Contract N00039-82-C-0250
C00178 00086 ∂15-Apr-82 1237 Wiederhold at SUMEX-AIM Re: ARPA Contract N00039-82-C-0250
C00179 00087 ∂15-Apr-82 1252 Wiederhold at SUMEX-AIM your copies
C00180 00088 ∂15-Apr-82 1548 ME FIXIML
C00181 00089 ∂15-Apr-82 1730 Paul Cohen <CSD.PCOHEN at SU-SCORE> Page numbers.
C00182 00090 ∂16-Apr-82 2030 Paul Armer <CSD.ARMER at SU-SCORE> NSF Statistics
C00184 00091 ∂17-Apr-82 2210 DEK
C00191 00092 ∂20-Apr-82 1707 Gene Golub <CSD.GOLUB at SU-SCORE> Recruiting
C00192 00093 ∂20-Apr-82 1710 Gene Golub <CSD.GOLUB at SU-SCORE> Visitor on May 5
C00193 00094 ∂21-Apr-82 0922 TW via Ethernet host 50#117 AI qual schedule.
C00194 00095 ∂21-Apr-82 0954 TW via Ethernet host 50#117 Qual details
C00197 00096 ∂21-Apr-82 1018 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF APRIL 26 - 30, 1982
C00200 00097 ∂22-Apr-82 1647 Gene Golub <CSD.GOLUB at SU-SCORE> Lunch discussion on Tuesday
C00201 00098 ∂22-Apr-82 1703 Paul Armer <CSD.ARMER at SU-SCORE> Re: Lunch discussion on Tuesday
C00220 00099 ∂22-Apr-82 1805 Gene Golub <CSD.GOLUB at SU-SCORE> Special Lunch
C00222 00100 ∂22-Apr-82 2035 CLT
C00224 00101 ∂23-Apr-82 0931 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF APRIL 26 - 30, 1982
C00225 00102 ∂23-Apr-82 1551 Gene Golub <CSD.GOLUB at SU-SCORE> New faculty member
C00226 00103 ∂25-Apr-82 1332 ARG orals
C00227 00104 ∂26-Apr-82 1618 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Visits by Iyer and Frankel
C00228 00105 ∂27-Apr-82 0648 Mike Gordon <GORDON at USC-ISIF> "LISP Programming and Proving"
C00229 00106 ∂27-Apr-82 0949 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF MAY 3 - 7, 1982
C00232 00107 ∂28-Apr-82 1041 Ichiki at SRI-AI Meeting before TINLUNCH 4/29
C00233 00108 ∂28-Apr-82 1148 CSD.ULLMAN@SU-SCORE (SuNet) [Betty Scott <CSD.BSCOTT at SU-SCORE>: [MCKENNEY at USC-ISI: Re: Need help again]]
C00236 00109 ∂29-Apr-82 1617 Aaai-Office at SUMEX-AIM Regional AAAI Chapters
C00239 00110 ∂30-Apr-82 0002 ARK The "It's Over" Party
C00241 00111 ∂30-Apr-82 0810 Aaai-Office at SUMEX-AIM AAAI Chapters
C00244 00112 ∂30-Apr-82 0850 Aaai-Office at SUMEX-AIM AAAI Chapters
C00248 00113 ∂30-Apr-82 0855 Aaai-Office at SUMEX-AIM AAAI Chapters
C00250 00114 ∂30-Apr-82 1212 Gene Golub <CSD.GOLUB at SU-SCORE> New appointment
C00251 00115 ∂30-Apr-82 1706 Aaai-Office at SUMEX-AIM AAAI Chapters
C00254 00116 ∂02-May-82 0920 Aaai-Office at SUMEX-AIM AAAI Chapters
C00256 00117 ∂02-May-82 0928 Aaai-Office at SUMEX-AIM AAAI Chapters
C00261 00118 ∂02-May-82 2247 Keith A. Lantz <CSL.LANTZ at SU-SCORE> Iyer and Frnakel
C00263 00119 ∂03-May-82 0858 Nancy Dorio <CSD.DORIO at SU-SCORE> pmessage
C00264 00120 ∂03-May-82 1150 Nancy Dorio <CSD.DORIO at SU-SCORE> EE 370 Seminar
C00266 00121 ∂03-May-82 1219 Nancy Dorio <CSD.DORIO at SU-SCORE> pmessage
C00267 00122 ∂03-May-82 1301 Keith A. Lantz <CSL.LANTZ at SU-SCORE> Faculty Recruit Talk
C00271 00123 ∂03-May-82 1318 Keith A. Lantz <CSL.LANTZ at SU-SCORE> Faculty Recruit Talk: Bala Iyer
C00274 00124 ∂03-May-82 1533 Gene Golub <CSD.GOLUB at SU-SCORE> Lunch on Tuesday
C00275 00125 ∂04-May-82 1022 Aaai-Office at SUMEX-AIM AAAI Chapters
C00277 00126 ∂04-May-82 1025 Aaai-Office at SUMEX-AIM AAAI Chapters
C00279 00127 ∂04-May-82 1028 Aaai-Office at SUMEX-AIM AAAI Chapters
C00280 00128 ∂04-May-82 1055 Gene Golub <CSD.GOLUB at SU-SCORE> Special Guest
C00281 00129 ∂04-May-82 1156 Gene Golub <CSD.GOLUB at SU-SCORE> Summer positions
C00282 00130 ∂04-May-82 1454 Gene Golub <CSD.GOLUB at SU-SCORE> Tenured faculty meeting
C00283 00131 ∂04-May-82 1543 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF MAY 10 - 14, 1982
C00286 00132 ∂05-May-82 0946 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Dinner/Lunch for Bala Iyer
C00287 00133 ∂05-May-82 1108 Nancy Dorio <CSD.DORIO at SU-SCORE> telex
C00289 00134 ∂06-May-82 1012 FWH PV+A Seminar
C00290 00135 ∂07-May-82 0909 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Memo to Dean Wessells
C00291 00136 ∂07-May-82 1041 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Memo to Dean Wessells
C00292 00137 ∂07-May-82 1206 Ichiki at SRI-AI TINLUNCH meeting 5/13
C00293 00138 ∂07-May-82 1437 TW via Ethernet host 50#105 AI qual
C00294 00139 ∂10-May-82 1016 Gene Golub <CSD.GOLUB at SU-SCORE> Lunch Discussion
C00295 00140 ∂10-May-82 1045 LOUNGO at RUTGERS Technical Report Mailing
C00302 00141 ∂10-May-82 1045 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF MAY 10 - 14, 1982
C00304 00142 ∂11-May-82 1131 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF MAY 17 - 21, 1982
C00307 00143 ∂12-May-82 0849 Gene Golub <CSD.GOLUB at SU-SCORE> Interviewee
C00308 00144 ∂12-May-82 0812 MAILER failed mail returned
C00309 00145 ∂12-May-82 1315 Nancy Dorio <CSD.DORIO at SU-SCORE>
C00310 00146 ∂12-May-82 1512 Gene Golub <CSD.GOLUB at SU-SCORE> Discussion of Comprehensive
C00312 00147 ∂12-May-82 1650 Hobbs at SRI-AI Tinlunch next week
C00313 00148 ∂12-May-82 1652 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Statistics on Comprehensive
C00315 00149 ∂12-May-82 2102 CLT susie
C00316 00150 ∂13-May-82 0806 JJW Summer plans
C00317 00151 ∂13-May-82 0830 FFL
C00318 00152 ∂13-May-82 1947 CLT
C00321 00153 ∂14-May-82 1943 JDH programming project
C00322 00154 ∂15-May-82 2200 David R. Cheriton <CSL.DRC at SU-SCORE> Systems Qual
C00325 00155 ∂17-May-82 0015 CLT
C00326 00156 ∂17-May-82 1002 FFL
C00327 00157 ∂17-May-82 1056 Paul Armer <CSD.ARMER at SU-SCORE> Re: Systems Qual
C00329 00158 ∂18-May-82 0932 David Warren <WARREN at SRI-AI> Re: for Peter Szeredi
C00330 00159 ∂18-May-82 1442 CLT Logic Seminar
C00331 00160 ∂19-May-82 0953 Nancy Dorio <CSD.DORIO at SU-SCORE> SRI SEMINAR ROOM CHANGE
C00332 00161 ∂19-May-82 1023 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF MAY 24 - 28, 1982
C00335 00162 ∂19-May-82 1037 FFL CLARK VISIT
C00338 00163 ∂19-May-82 1426 FFL
C00339 00164 ∂19-May-82 2218 Gene Golub <CSD.GOLUB at SU-SCORE> Good News
C00340 00165 ∂20-May-82 0838 EJS NEWDD
C00343 00166 ∂20-May-82 0926 JK
C00344 00167 ∂20-May-82 1647 FFL
C00345 00168 ∂21-May-82 0854 Gene Golub <CSD.GOLUB at SU-SCORE> Lunch next tuesday
C00346 00169 ∂21-May-82 0908 Nilsson at SRI-AI Tinlunch
C00347 00170 ∂21-May-82 0942 TOB
C00349 00171 ∂21-May-82 1152 Gene Golub <CSD.GOLUB at SU-SCORE>
C00350 00172 ∂21-May-82 1155 Tim Eldredge <g.eldre at SU-SCORE>
C00352 00173 ∂21-May-82 1402 Gene Golub <CSD.GOLUB at SU-SCORE> New Phone Number
C00353 00174 ∂21-May-82 1627 Carolyn Tajnai <CSD.TAJNAI at SU-SCORE> Forum Update
C00355 00175 ∂21-May-82 1645 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Advising
C00358 00176 ∂21-May-82 2033 pratt@Shasta at Sumex-Aim Re: Advising
C00360 00177 ∂21-May-82 2103 CLT
C00361 00178 ∂21-May-82 2106 CLT SEMINAR IN LOGIC AND FOUNDATIONS OF MATHEMATICS
C00362 00179 ∂22-May-82 1136 Gene Golub <CSD.GOLUB at SU-SCORE> Lectures by Andy Yao
C00363 00180 ∂23-May-82 0920 CLT
C00364 00181 ∂24-May-82 0733 PJH via ROCHESTER formalisers in britain
C00365 00182 ∂24-May-82 0917 FFL
C00366 00183 ∂24-May-82 0940 CLT seminar requirement
C00367 00184 ∂24-May-82 1223 Jake Brown <CSD.JAKE at SU-SCORE> Comp Meeting June 1st
C00369 00185 ∂24-May-82 1343 Arthur Keller <ARK at SU-AI> Black Friday Meeting June 1
C00371 00186 ∂24-May-82 1634 Nancy Dorio <CSD.DORIO at SU-SCORE> TEST FOR TAY-SACHS GENE
C00372 00187 ∂24-May-82 1846 Gene Golub <CSD.GOLUB at SU-SCORE> Lunch on Tuesday
C00373 00188 ∂25-May-82 0820 FFL
C00374 00189 ∂25-May-82 0958 CLT
C00375 00190 ∂25-May-82 1410 FFL
C00376 00191 ∂25-May-82 1412 FFL
C00377 00192 ∂25-May-82 1413 FFL The method of calculating charges for computer use on SAIL has changed
C00378 00193 ∂25-May-82 1418 FFL
C00379 00194 ∂25-May-82 1424 FFL
C00380 00195 ∂25-May-82 1427 FFL Porto's files
C00381 00196 ∂25-May-82 1446 LES
C00383 00197 ∂25-May-82 1836 Bobrow at PARC-MAXC An issue, and should we have an AI Board meeting this summer?
C00387 00198 ∂25-May-82 2024 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF MAY 24 - 28, 1982
C00388 00199 ∂26-May-82 0927 Don Walker <WALKER at SRI-AI> Re: An issue, and should we have an AI Board meeting this summer?
C00390 00200 ∂26-May-82 0952 Nilsson at SRI-AI Re: An issue, and should we have an AI Board meeting this summer?
C00392 00201 ∂26-May-82 1221 WOODS at BBNG Re: An issue, and should we have an AI Board meeting this su...
C00395 00202 ∂26-May-82 1410 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> Re: An issue, and should we have an AI Board meeting this summer?
C00397 00203 ∂26-May-82 1446 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Meeting on Tuesday, June 1
C00400 00204 ∂27-May-82 0925 JMC via USC-ISID
C00401 00205 ∂27-May-82 0928 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Faculty Meeting June 1
C00402 00206 ∂27-May-82 1000 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF MAY 31 - JUNE 4, 1982
C00404 00207 ∂27-May-82 1010 Gene Golub <CSD.GOLUB at SU-SCORE> Sad News
C00405 00208 ∂27-May-82 1221 Doug Lenat <CSD.LENAT at SU-SCORE> Revised reading list for the Comp
C00408 00209 ∂27-May-82 1300 CLT Susie
C00409 00210 ∂27-May-82 2033 Arthur Keller <CSD.KELLER at SU-SCORE> Approval of Documents on 6/1 Faculty Meeting
C00412 00211 ∂29-May-82 1413 REG
C00413 00212 ∂01-Jun-82 0937 Marilynn Walker <CSD.MWALKER at SU-SCORE> Carolyn Talcott
C00414 00213 ∂01-Jun-82 1230 Gene Golub <CSD.GOLUB at SU-SCORE> Faculty meeting
C00415 00214 ∂01-Jun-82 1434 Gene Golub <CSD.GOLUB at SU-SCORE> Phone numbers
C00416 00215 ∂01-Jun-82 1607 CLT SEMINAR IN LOGIC AND FOUNDATIONS OF MATHEMATICS
C00417 00216 ∂02-Jun-82 1049 COHEN at PARC-MAXC Research Position
C00419 00217 ∂02-Jun-82 1101 Ichiki at SRI-AI NO TINLUNCH THIS THURSDAY
C00421 00218 ∂02-Jun-82 1148 Gene Golub <CSD.GOLUB at SU-SCORE> Herriot retirement lunch
C00422 00219 ∂02-Jun-82 1226 Gene Golub <CSD.GOLUB at SU-SCORE> Tenured faculty meeting
C00424 00220 ∂02-Jun-82 1301 CLT About NY
C00425 00221 ∂02-Jun-82 1509 Marilynn Walker <CSD.MWALKER at SU-SCORE> [Doug Lenat <CSD.LENAT at SU-SCORE>: Changes in the Comp for next year]
C00431 00222 ∂02-Jun-82 1644 Paul Armer <CSD.ARMER at SU-SCORE> [Joe Weening <JJW at SU-AI>: Dismissals ]
C00440 00223 ∂02-Jun-82 1706 Nancy Dorio <CSD.DORIO at SU-SCORE> CORRECTION TO COLLOQUIUM NOTICE WEEK OF MAY 31 - JUNE 4, 1982
C00441 00224 ∂03-Jun-82 0934 FFL
C00442 00225 ∂03-Jun-82 0942 FFL Martin Davis, please give msg to John McCarthy
C00443 00226 ∂03-Jun-82 1034 Paul Armer <CSD.ARMER at SU-SCORE> Candidates
C00445 00227 ∂03-Jun-82 1112 Jake Brown <CSD.JAKE at SU-SCORE> Last Comp Meeting
C00447 00228 ∂03-Jun-82 1512 Jrobinson at SRI-AI TINLUNCH JUNE 10
C00448 00229 ∂03-Jun-82 1619 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF JUNE 7 - 11, 1982
C00450 00230 ∂03-Jun-82 1704 Jake Brown <CSD.JAKE at SU-SCORE> Apologies
C00451 00231 ∂04-Jun-82 1315 Marilynn Walker <CSD.MWALKER at SU-SCORE> Vote on Appointment of James Frankl
C00453 00232 ∂04-Jun-82 1331 Marilynn Walker <CSD.MWALKER at SU-SCORE> Appointment
C00454 00233 ∂04-Jun-82 1657 Amy Lansky <ALL at SU-AI>
C00460 00234 ∂05-Jun-82 1004 SGF chairing orals exam
C00461 00235 ∂05-Jun-82 1049 Marilynn Walker <CSD.MWALKER at SU-SCORE> Grades for Degree Candidates
C00462 00236 ∂06-Jun-82 1431 Paul Armer <CSD.ARMER at SU-SCORE> Seminar
C00464 00237 ∂06-Jun-82 1722 Paul Armer <CSD.ARMER at SU-SCORE> Dismissal Guidelines
C00467 00238 ∂06-Jun-82 1752 Ernst W. Mayr <CSD.MAYR at SU-SCORE> Department colloq
C00469 00239 ∂07-Jun-82 0922 Gene Golub <CSD.GOLUB at SU-SCORE> FACULTY MEETING ON TUESDAY
C00470 00240 ∂07-Jun-82 1158 TOB Incremental Funding
C00472 00241 ∂07-Jun-82 1206 MAS Incremental Funding
C00474 00242 ∂07-Jun-82 1403 Betty Scott <CSD.BSCOTT at SU-SCORE> [Marianne Siroker <MAS at SU-AI>: ∂07-Jun-82 1158 TOB Incremental Funding ]
C00477 00243 ∂07-Jun-82 1407 Colmerauer.TextMgt at MIT-MULTICS money from Luminy
C00478 00244 ∂07-Jun-82 1718 RPG Rates
C00485 00245 ∂08-Jun-82 0821 FFL renewal of ARPA contract - reports relating thereto
C00488 00246 ∂09-Jun-82 0248 YOM Summer
C00492 00247 ∂09-Jun-82 1159 MDD via NYU ATP "milestone" prize
C00493 00248 ∂10-Jun-82 0820 FFL
C00497 00249 ∂11-Jun-82 0908 MDD via NYU ATP "Milestone" Prize
C00498 00250 ∂11-Jun-82 1105 DCL
C00500 00251 ∂11-Jun-82 1111 JK
C00502 00252 ∂11-Jun-82 1240 CLT ARPA
C00504 00253 ∂11-Jun-82 1345 MDD via NYU your 2 messages on ATP prize
C00507 00254 ∂11-Jun-82 1432 MDD via NYU This is a PS
C00508 00255 ∂11-Jun-82 2007 LGC Info sent to ARPA
C00509 00256 ∂13-Jun-82 1539 ME DM
C00511 00257 ∂13-Jun-82 1540 ME Imlac
C00512 00258 ∂14-Jun-82 0045 Lowell Wood <LLW at S1-A> Welcome Back!
C00513 00259 ∂14-Jun-82 0922 CL.BOYER at UTEXAS-20 halting problem
C00514 00260 ∂14-Jun-82 1140 FFL Call from Packard?, Patrick? Gunkel? from Cambridge, MA
C00518 00261 ∂14-Jun-82 1308 Carolyn Tajnai <CSD.TAJNAI at SU-SCORE> Marsha Jo Hannah
C00519 00262 ∂14-Jun-82 1726 DCL
C00521 00263 ∂15-Jun-82 1332 FFL
C00527 00264 ∂19-Jun-82 0253 ME DM serial number
C00528 00265 ∂19-Jun-82 2042 ME DMWAITS/Imlac login options
C00530 00266 ∂21-Jun-82 0900 JMC*
C00531 00267 ∂21-Jun-82 1420 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Trattnig Visit
C00534 00268 ∂22-Jun-82 1417 FFL
C00535 00269 ∂22-Jun-82 1418 FFL
C00536 00270 ∂22-Jun-82 1421 FFL
C00537 00271 ∂23-Jun-82 1638 UNTULIS at SRI-AI Please change password
C00538 00272 ∂23-Jun-82 1712 Paul Martin <PMARTIN at SRI-AI> No tinlunch Thursday
C00539 00273 ∂23-Jun-82 1830 Gene Golub <CSD.GOLUB at SU-SCORE> New Student Lunch
C00540 00274 ∂23-Jun-82 2238 Gene Golub <CSD.GOLUB at SU-SCORE> Freshman Advisors
C00541 00275 ∂25-Jun-82 1055 Carolyn Tajnai <CSD.TAJNAI at SU-SCORE> Forum -- $518,800
C00542 00276 ∂27-Jun-82 0207 Lowell Wood <LLW at S1-A> The New Alexandrian Library
C00545 00277 ∂27-Jun-82 1600 JMC*
C00546 00278 ∂28-Jun-82 0451 HST via SUMEX-AIM lisp
C00548 00279 ∂28-Jun-82 1905 Stan at SRI-AI Talk by J. McCarthy
C00549 00280 ∂28-Jun-82 2024 Lowell Wood <LLW at S1-A> Report
C00550 00281 ∂29-Jun-82 0625 Lowell Wood <LLW at S1-A> Fourth Of July Celebration
C00554 00282 ont
C00556 00283 ∂30-Jun-82 0521 Martin.Griss <Griss at UTAH-20> Space/Access
C00558 00284 ∂30-Jun-82 0921 TOB
C00559 00285 ∂30-Jun-82 1039 Feigenbaum at SUMEX-AIM being P.I. on your grant
C00562 00286 ∂30-Jun-82 1204 Paul Martin <PMARTIN at SRI-AI> TINlunch for 22 July
C00563 00287 ∂30-Jun-82 1621 PJH via SRI-AI hi
C00564 00288 ∂30-Jun-82 1931 ME on TTY65 (at TV-120) 1931
C00565 00289 ∂01-Jul-82 0319 HST via SUMEX-AIM label in lisp1.5
C00567 00290 ∂01-Jul-82 0813 CLT tonight
C00569 00291 ∂01-Jul-82 0811 CLT Calendar
C00570 00292 ∂01-Jul-82 1623 Ichiki at SRI-AI 7/8 TINLUNCH
C00571 00293 ∂01-Jul-82 1631 Stan at SRI-AI Discussion w/ Lauri & Robin
C00574 00294 ∂02-Jul-82 1111 REG
C00575 00295 ∂02-Jul-82 1450 Gene Golub <CSD.GOLUB at SU-SCORE> New appointments
C00577 00296 ∂02-Jul-82 1709 LES Piano mover
C00578 ENDMK
C⊗;
∂01-Apr-82 1034 Ted Anderson <OTA at S1-A>
Date: 01 Apr 1982 1033-PST
From: Ted Anderson <OTA at S1-A>
To: jmc at SU-AI
CC: OTA at S1-A
∂01-Apr-82 1025 The Boss <JMC at SU-AI>
Date: 01 Apr 1982 1025-PST
From: The Boss <JMC at SU-AI>
To: ota at S1-A
I can't leave Stanford till 11:30 Friday, because I have a meeting at 10
concerned with using our ARPA computer money. If it turns out you have
to leave early, perhaps I'd better go separately. If I leave at 11:30
from Stanford, I can be at the Lab a few minutes after 12:30 depending
on traffic. Judging by our previous trips, this should get us there
in time for the 7pm ceremonies.
[John,
If we leave here at 10:30 and are heading for 101, its not too much out of
the way to pick you up. So if we leave Stanford at 11:30 we should be able
to make it by 7PM. How's that sound? We could leave word with someone,
like your Sect'y, whether we're on our way to Stanford to pick you up, or
waiting in Livermore for th trip down 5.
Ted]
That will be fine. Because of lack of terminals, a telephone call to
Fran Larson 497-2800 is more reliable than a net message. If you can't
get her (she's sometimes unavailable), a telephone call to the department
number will do it.
∂01-Apr-82 1159 Ehud Shapiro <Shapiro at YALE> Re: your visit
Date: 1-Apr-82 1456-EST
From: Ehud Shapiro <Shapiro at YALE>
Subject: Re: your visit
To: Jmc at SU-AI
In-Reply-To: Your message of 25-Mar-82 0437-EST
I have just returned from a trip to Sweden, followed by a visit to U. of
Illinois, hence the delay in my reply.
I do not have time right now to write my own "Logic Programming
Manifesto", however, a large portion of my job has already been
accomplished by others. I can only agree with the outline of the
Japanese project, as described in Fuchi's paper (in the Proceedings
you have Xeroxed). I think they picked exactly strengths of logic
programming, and are going to exploit every bit of them. They emphasize
mostly the following areas:
- prospects for innovative architectures and parallelism.
- ease of software development, and opportunity for the
development of software support for software development.
- implementation and enhancement of relational databases.
- implementation of expert systems and other applied AI systems.
- implementation of natural language processing systems.
David Warren has an excellent report on the Japanese project, complied
after hearing new information from Koichi Furukawa, who also attended
the workshop in Sweden. I have asked him to send you a copy.
I see my research in the next several years greatly influenced by the
opportunities and problems that arise from the Japanese project. My
interest in parallel Prolog is partly influenced by the prospects of
having a parallel Prolog machine in the not far future, and wanting
to contribute to and influence on its final design, mostly on the
software and operating system side.
However, I do not see this as a final promise or commitment; in the
last three years the focus of my research has changed at least three
times: inductive inference, program debugging and now parallel Prolog.
There is no reason for the frequency of changes to decrease, and I
am quite open to stimulations and challenges from my environment; so
I think I should be judged more by the quality and originality of the
research I have done so far, and less by my immediate research
interests, even if I am so excited about them at present that they
seem to constitute my entire world.
-- Udi.
-------
I just read your note, and I would have tried to use its contents.
However, the matter is settled for now.
∂01-Apr-82 1358 Paul Armer <CSD.ARMER at SU-SCORE> Publications
Date: 1 Apr 1982 1354-PST
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: Publications
To: CSD-Faculty: ;
Stanford-Phone: (415) 497-2274
Unless I hear objections we intend to change somewhat our policies
concerning the distribution of CSD Technical Reports. We are going
to establish a nominal ($1 or $2) charge for microfiche copies of
our reports in order to discourage the squirrels who order copies
of almost anything that is "free." And in order to defeat the
deadbeats, beginning in June we'll require prepayment for any
copies, hard or microfiche, we distribute by mail.
-------
∂01-Apr-82 1435 FFL
To: JMC, FFL
Please call Ehud Shapiro at 203 436 0715.
∂01-Apr-82 2243 Ted Anderson <OTA at S1-A>
Date: 01 Apr 1982 2242-PST
From: Ted Anderson <OTA at S1-A>
To: jmc at SU-AI
∂01-Apr-82 2238 OTA via S1-GATEWAY Comming back Sunday night
To: JMC, RAH, TAW
CC: OTA
I just remembered why I want to come back Sunday, I have a conference starting
Monday morning. I guess we can talk more about this on the way down.
I also must come back Sunday.
∂02-Apr-82 0945 JK chien at NSF
Is gone for the day. I will try again monday.
∂02-Apr-82 1135 NAN pmessage
Ted Andrews called from Lawrence Livermore Lab to say that they are taking
I 5 and that you should come to Livermore.
∂02-Apr-82 1407 Konolige at SRI-AI sato
Date: 2 Apr 1982 1406-PST
From: Konolige at SRI-AI
Subject: sato
To: jmc at SAIL
John, I note at the end of Sato's thesis that he intended to
use his concept of "knowledge set" and "knowledge base" to solve the
non-knowledge part of the wise man problem; this in collaboration with
you. Did that ever happen, and if so, where is it written up? --kk
-------
∂02-Apr-82 1416 TW via Ethernet host 50#105 AI qual
To: "@AIFAC.DIS[1,TW]" at SU-AI
It looks like by default I am doing the AI qual this year
(Ed declined, John will be away, Doug is doing the comp and Mike
is totally overloaded). I propose the following changes:
Simplified reading list
The list as it now stands is an attempt at a comprehensive annotated
bibliography of AI. Although that is an admirable project, it is
a tremendous amount of work to keep updated, and is not really useful
to the students as a qual study guide, since the examiners don't
know what is on it. If you look at the current one, you will
see that it is heavily loaded with articles from particular years
(e.g. 73-74) which were when effort went into updating it. Many of
them are now out of date.
I propose that we go to a short reading list containing major books,
as most of the other qual areas do. If someone wants to work on
a large bibliography, that is fine but it it should be a different project.
The following is a first cut at a list of books. I welcome (prompt)
suggestions for changes or additions.
Winston, Artificial Intelligence
Nilsson, Principles of Artificial Intelligence
Barr and Feigenbaum, Handbook of Artificial Intelligence
(as many volumes as are available)
AI Journal special issue on vison (August 1981)
This clearly leaves some gaps (e.g., robotics outside vision,
automatic programming, natural language beyond what is in the handbook)
but I don't have specific ideas of the right scope and level.
If the general principle is accepted, I will take suggestions for
a week (until Friday the 9th), and then produce a list.
No paper
The idea of using a review of an article as an "ice-breaker" hasn't
worked as well in practice as in theory. In general it has been at
least as good to just ask the student to start by describing the
main area of her/his current interest and anticipated research. Since
this simplifies life for everyone, I propose to make it the official
policy. If there are no objections, this will be stated on the
reading list when it comes out.
∂02-Apr-82 1448 MDD via NYU
Thank you. The inquiry I expect would come from Professor Duncan Buell,
Computer Science Department, Louisiana State University,
Baton Rouge, LA 70803. -Martin
∂02-Apr-82 1452 MDD via NYU
P.S. Bon Voyage!
∂02-Apr-82 1459 Doug Lenat <CSD.LENAT at SU-SCORE> Re: AI qual
Date: 2 Apr 1982 1457-PST
From: Doug Lenat <CSD.LENAT at SU-SCORE>
Subject: Re: AI qual
To: TW at SU-AI
cc: @AIFAC.DIS[1,TW] at SU-AI
In-Reply-To: Your message of 2-Apr-82 1416-PST
I suggest making all 3 volumes of the AIH required (available
in draft form for this year), and eliminating Winston and Nilsson's
books. Winston's is too nontechnical and chatty;
Nils' is a bold attempt at a synthesis, done at a time when
no one (including Nils) is ready to perform such a feat;
but the AIH is just right.
-- Goldilocks
-------
∂02-Apr-82 1544 Betty Scott <CSD.BSCOTT at SU-SCORE> Research Associate salaries
Date: 2 Apr 1982 1539-PST
From: Betty Scott <CSD.BSCOTT at SU-SCORE>
Subject: Research Associate salaries
To: JMC at SU-AI
cc: CSD.BScott at SU-SCORE
John, may I have a few minutes of your time on Monday to talk about
research associate salaries for 1982-83? It won't take long--15 or
20 minutes at most.
Thanks,
Betty
-------
∂02-Apr-82 1656 Ichiki at SRI-AI 4/8 TINLUNCH meeting
Date: 2 Apr 1982 1654-PST
From: Ichiki at SRI-AI
Subject: 4/8 TINLUNCH meeting
To: tlgrp:
cc: SANDRA at SRI-KL
There will be a talk by George Heidorn and Karen Jensen at 10:30 am in
Conference Room A (Building A), followed by the TINLUNCH discussion in
the same conference room.
DETECTING GRAMMAR ERRORS IN BUSINESS CORRESPONDENCE
George E. Heidorn and Karen Jensen
IBM Thomas J. Watson Research Center
Yorktown Heights, New York
The Epistle System being developed at IBM Research is intended to provide
critiques of business correspondence. Part of this involves detecting
grammar errors in text, which in turn requires parsing sentences according
to an English grammar. This talk will provide an overview of the Epistle
System, give some details of the techniques for parsing sentences using an
augmented phrase structure grammar, and describe our approach to detecting
grammar errors.
-------
∂03-Apr-82 0838 Colmerauer.TextMgt at MIT-MULTICS your coming to Marseille
Date: 3 April 1982 11:40 est
From: Colmerauer.TextMgt at MIT-MULTICS
Subject: your coming to Marseille
To: JMC at SU-AI
Ok four your coming the 10 april. I
have reserved a room at the "chateau"
for you (centre de rencontre mathematique
de Luminy). Let me know exactly when you
arrive. I am taking a week of holydays.
I will be back around the 10 april. I give
you the phone number of michel Van
Caneghem, in case i I am not
back early enough : 91 41 68 71. You
can also phone at my home, I have an
answering device. (42 70 04 41).
cordialement Alain.
∂03-Apr-82 0939 MDD via NYU
On second thought, please send the letter to LSU without waiting
for their request. Please also send one to: Professor Norman Gibbs,
Computer Science Department, Arizona State University, Tempe, AZ 85287.7 7
∂03-Apr-82 0951 MDD via NYU
P.S. Thanks again.
∂03-Apr-82 1611 Arthur Keller <ARK at SU-AI> Sigma Xi
Mail-from: ARPANET site SU-AI rcvd at 3-Apr-82 1549-PST
Date: 03 Apr 1982 1544-PST
From: Arthur Keller <ARK at SU-AI>
Subject: Sigma Xi
To: SU-BBoards at SU-AI
CC: Faculty at SU-SCORE
Sigma Xi is a society of researchers in various fields of the sciences.
Membership includes a magazine that containing various research articles
that is actually readable and comes out once every two months. They also
have periodic talks given by researchers in various fields.
If you are interested in becoming a member (or if you are a member and
interested in nominating someone) see me or send me a message for
an application form.
Thanks.
Arthur
∂04-Apr-82 1113 Gene Golub <CSD.GOLUB at SU-SCORE> Forsythe rememberance
Date: 4 Apr 1982 1110-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Forsythe rememberance
To: su-bboard at SU-SCORE, faculty at SU-SCORE
Friday, April 9 is the tenth anniversary of George Forsythe's death.
He was the founder of the Department and gave it direction for many
years. There will be a Rememberance on Friday at 4:30 on the balcony
on the fourth floor. Ed Feigenbaum, Jack Herriot and I will speak;
anyone else who cares to say something is also invited to comment.
Afterwards there will be a reception in the Lounge.
We shall also be dedicating the mosaic on the balcony; Harold Cohen
the designer and artist will be present.
Gene Golub
-------
∂05-Apr-82 0738 JK
I talked to Chien at NSF this morning. The news is good:
He will be recommending approval of the proposal. He has not had
time to go over the budget in detail; this will be done later
on this week. He will be calling about that - he does not
expect any major revisions in the budget, however. He thought
it might be better to talk to you then since he will be discussing
budgetary matters.
∂05-Apr-82 0830 PJH via ROCHESTER visit
hi john. with luck we will be visiting SRI in july. I hope you will be in town
so we can talk about many things.
pat
I will also be taking some part in SRI's "Common sense month".
∂05-Apr-82 1059 FFL
To: JMC, FFL
Cuthbert Hurd called. He asks that you call him today if he has not
already reached you at home this morning.
∂05-Apr-82 1108 FFL
To: JMC, FFL
Gordon Novak in our department wants to borrow a paper on "Flavors" from you.
He is in Room 244.
∂05-Apr-82 1110 FFL
To: JMC, FFL
Someone from the FBI called re Teller. Will call you back, he said, about
3 p.m.
∂05-Apr-82 1113 FFL
To: JMC, FFL
Fritz stopped by with the message that Apple decided to buy PROLOG from
Alain -
european variety. Alain liked Fritz' translation very much.
∂05-Apr-82 1133 RPG New rates
If you want to see how the new rates would have affected what we pay
in march, take a look at TAX.MAR[1,ME]/R.
-rpg-
∂05-Apr-82 1133 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF APRIL 5 - 9, 1982
Date: 5 Apr 1982 1120-PST
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: ADDENDUM TO COLLOQUIUM NOTICE WEEK OF APRIL 5 - 9, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Medical Computing Journal Club - Tuesday, April 6, 1982 at 1:30 p.m. in MJ301.
Dr. Glenn Rennels, from Stanford University, will speak on "Atrial Fibrillation,
Markov Chains, and The Land of Oz".
Ph.D Oral ← Tuesday, April 6, 1982 at 3:15 p.m. in MJ352.
Lloyd Nicholas Trefethen from Stanford University, will speak on "Wave Propaga-
tion and Stability for Finite Difference Schemes".
Computer Science Colloquium - Tuesday, April 6, 1982 at 4:15 p.m. in Jordan 041.
Brian Smith, from Xerox Parc, will speak on "Reflection and Semantics in a
Procedural Language".
SRI Seminar - Thursday, April 8, 1982 at 3:15 p.m. in Jordan 041. Nils Nilson,
from SRI Internation, will speak on " An Overview of AI Research at SRI".
-------
∂05-Apr-82 1630 CG
To: "@LOGIC.DIS[1,CLT]" at SU-AI
A philosophy department lecture will be given Tuesday evening
which should be of interest to computer scientists.
Prof Dov M. Gabbay of the University of Stuttgart and
Bar-Ilan University will speak on:
"An Intuitionistic Basis for Non-Monotonic Logic"
Time: 7:30pm, Tuesday, April 6
Place: Jordan 100
∂05-Apr-82 1803 David Warren <WARREN at SRI-AI> Boosting DEC's Confidence in Prolog
Date: 5 Apr 1982 1757-PST
From: David Warren <WARREN at SRI-AI>
Subject: Boosting DEC's Confidence in Prolog
To: JMC at SU-AI
cc: Warren at SRI-AI
Do you have a quotable opinion on Prolog vis-a-vis other
programming languages that I can transmit to DEC? They are
timid about proceeding with supporting work on Prolog without
favorable noises from authoritative people in the US. So I'd
welcome any favorable noises you can make!
Also I have a second proposal with them for a 3 month study
on the use of Prolog for knowledge engineering (focussing on
the task of configuring the VAX unibus and comparing with John
McDermott's R1 program). Would you be prepared to be a reviewer
of this proposal too, on the same lines as we discussed in connection
with the other proposal (the Prolog machine)? Again, I don't
think they want you to take much more than a symbolic role.
Thanks for any help you can give me, and greetings to the
people in Marseille and London.
--David Warren.
-------
∂05-Apr-82 2000 JMC*
armin miller 328-0281
∂06-Apr-82 0425 ARK Fonts
∂06-Apr-82 0212 JMC
How to get accents in Scribe with Helvetica 10.
ARK - Control-K or VT ( ) gives forward accent, and control-e or ¬
gives an accent grave. These precede the desired letter to be
accented.
∂06-Apr-82 0810 RPG Potential in absentia problem
While you are away I think that there may be a problem with FR's
computing budget. Last month I would have had a bill of $1300 for
SAIL. So far this month I am at about $200 (as of last night). LCG will
be high too. If they go to CORE-PAGE-SECONDS, we're in trouble because
we both use 510 page jobs, and we both have 2 jobs logged in all the
time. There will undoubtedly be a payers' meeting in your absence.
Will you appoint someone in your stead? Should we try to abandon computing
to some extent?
-rpg-
∂06-Apr-82 0900 JMC*
Call Dina Bolla
∂06-Apr-82 0942 RWW new pricing for SAIL
It seems to me that this new scheme has made SAIL almonst too costly to
continue doing much work. Also its retroactive application seems unfair.
This continual change of rules is unacceptable. I am seriously thinking
using SCORE or maybe the VAX. Is there any form of relief short of stopping
using SAIL?
Richard
I think we need to dig ourselves out of the hole by paying higher
prices for a while. Do you have any information on what are the
relative costs of doing the same job on SCORE and SAIL?
∂06-Apr-82 0958 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Reminder
Date: 6 Apr 1982 0956-PST
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Reminder
To: faculty at SU-SCORE
cc: csd.armer at SU-SCORE
This is just to remind you that there will be the usual faculty
lunch in room 146 today at 12:15
Irmgild
-------
∂06-Apr-82 1006 RWW
∂06-Apr-82 0953 JMC
To: RWW, RPG
∂06-Apr-82 0942 RWW new pricing for SAIL
It seems to me that this new scheme has made SAIL almonst too costly to
continue doing much work. Also its retroactive application seems unfair.
This continual change of rules is unacceptable. I am seriously thinking
using SCORE or maybe the VAX. Is there any form of relief short of stopping
using SAIL?
Richard
I think we need to dig ourselves out of the hole by paying higher
prices for a while. Do you have any information on what are the
relative costs of doing the same job on SCORE and SAIL?
No but comparing isn't easy because SCORE users are still not being charged
for usage only DISK space. Also I think that if this plan is going to stick
SAIL should get a reliable 9 track tape drive (perhaps one of SCORES) so
that backup can be used in conjunction with other machines. Also more
SCORE Terminals that don't network through SAIL to connect to SCORE
now become more valuable. I will probably bring a dialup terminal for
my office!!!
∂06-Apr-82 1007 RWW ps
It also seems that software to tell you how much you currently owe
should be TOP priority. Otherwise we have no way to know what we are
to be charged. Also will we get a itemized bill???
etc etc etc.
Richard
∂06-Apr-82 1019 RWW pps
How do we find out about the granularity of the accounting system.
e.g., did logging out between the two messages I sent you save me money
or not?
Richard
Why don't you ask Marty or Ralph?
∂06-Apr-82 1216 MLB LM-2 tryout
∂27-Mar-82 2328 JMC
I like to try out the Symbolics machine when convenient
Sorry I took so long answering this -- I only log in at SAIL infrequently.
Tuesday through Thursday April 13 through April 15 and anytime subsequent
weeks would be fine with me. Just let me know -- I'm at CCRMA most days,
until our office opens in May. I'm not a salesman of course. Did you
get a chance to see the machine with RWG a while back?
∂06-Apr-82 1400 JMC*
iii bill and l expenses
∂06-Apr-82 2245 ARK FYI: csd-cf actng
To: JMC at SU-AI, csd.armer at SU-SCORE
∂06-Apr-82 2224 ARK CSD-CF Accounting
To: REG at SU-AI
CC: ARK at SU-AI, CSD.Golub at SU-SCORE,
CSD.Gotelli at SU-SCORE, ME at SU-AI
I propose that people with guest accounts may not have outside paid
accounts as well. I suggest that effective April 1, people with outside
paid and guest accounts will be charged for their guest accounts as well.
This means LES and others.
We need to have a SAIL payers meeting, which was promised by Ralph to
occur before the charges were changed to discuss the proposed charges.
We need a policy on guest users on SAIL in general. I propose that any
guest who would incur a charge for greater than $25 in any single month
will have the account terminated with the option to pay for it.
We also need a policy on computer usage charge limitations for users who
are being paid out of departmental gift funds.
There is a program that can calculate the charges for a given prior month,
but no program to calculate the month-to-date charges. I think that one
is necessary.
Arthur
∂07-Apr-82 0912 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF APRIL 12 - 16, 1982
Date: 7 Apr 1982 0902-PST
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF APRIL 12 - 16, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
4/12/82 Math 380C Frank Natterer
Monday Numerical Analysis University of Munster, F.R. Germany
4:15 p.m. Seminar ``An Identification Problem in Computerized
Tomography''
4/13/82 MJ301 Jean Gordon
Tuesday Knowledge Stanford Medical School
2:30 p.m. Representation ``Is Medical Reasoning Fuzzy''
Group Meeting
4/13/82 Jordan 041 Han-J. Boehm
Tuesday Computer Science Cornell University
4:15 p.m. Colloquium ``Logic for Expressions with Side Effects''
4/16/82 MJ352 Jim Davidson
Friday Database Research Stanford University
3:15 p.m. Seminar ``Natural Language Access to Databases: User
Modeling and Focus''
!
-------
∂07-Apr-82 1019 RPG SAIL charges
Due to the increase in SAIL charges, LLL is reducing the percentage of
my SAIL use it pays for to 25% from 50%. This reflects the ratio
of computing I do for Stanford versus LLL on SAIL.
-rpg-
∂07-Apr-82 1155 JK
Can you afford this?
-------------------------
.r charge
Month ? (type <return> for March) dec
SAIL charges for JK during December 1981:
A job time: 44.00 hours $ 77.00
B job time: 36.37 42.43
C job time: 12.95 7.55
A cpu time: 30.67 minutes 79.73
B cpu time: 20.28 35.16
C cpu time: 6.10 5.29
Disk usage: 333 tracks 206.46
Total cost: $ 453.62
Month ? (type <return> for March) jan
SAIL charges for JK during January 1982:
A job time: 85.85 hours $ 150.24
B job time: 118.72 138.50
C job time: 27.83 16.24
A cpu time: 90.13 minutes 234.35
B cpu time: 117.03 202.86
C cpu time: 29.35 25.44
Disk usage: 279 tracks 172.98
Total cost: $ 940.61
SAIL charges for JK during February 1982:
A job time: 65.15 hours $ 114.01
B job time: 102.40 119.47
C job time: 21.63 12.62
A cpu time: 61.38 minutes 159.60
B cpu time: 109.27 189.40
C cpu time: 30.93 26.81
Disk usage: 285 tracks 159.60
Total cost: $ 781.51
Month ? (type <return> for March) mar
SAIL charges for JK during March 1982:
A job time: 65.27 hours $ 114.22
B job time: 90.02 105.02
C job time: 6.67 3.89
A cpu time: 51.83 minutes 134.77
B cpu time: 77.00 133.47
C cpu time: 2.20 1.91
Disk usage: 299 tracks 185.38
Total cost: $ 678.66
∂07-Apr-82 1609 ARK SAIL Payers Meeting
To: "@PAYERS.DIS[CF,REG]" at SU-AI
There will be a SAIL payers meeting on Thursday, 8 April to discuss the
new SAIL rates. It will be at 1 p.m. in room 252 MJH.
Arthur
∂07-Apr-82 1610 reid at PARC-MAXC the Tedium is the message?
Mail-from: ARPANET site PARC-MAXC rcvd at 7-Apr-82 1605-PST
Date: 7 Apr 1982 16:04 PST
From: reid at PARC-MAXC
Subject: the Tedium is the message?
To: Faculty at SU-Score
This note was sent to the BBoard distribution at Xerox PARC recently, from
someone in their Webster, NY office.
---------------------------
Date: 25 March 1982 2:46 pm EST (Thursday)
From: Yamonaco.WBST
Subject: Tedium Tabulation
To: *
After a survey of over 2,000 workers in 23 different jobs, researchers have
applied a "boredom index" to a number of occupations. Here's a summery of the
results, as reported in the December 1981 issue of the "Electro-Flex News". (The
higher the number, the more boring the job. Average rating is 100.)
OCCUPATION BORDOM RATING
Assembler (work paced by machine) 207
Machine tender 169
Assembler (work at own pace) 160
Accountant 107
Engineer 100
Tool-and-die maker 96
Computer programmer 96
Electronic techician 87
Blue-collar supervisor 85
White-collar supervisor 72
Scientist 66
Adminstrator 66
Policeman 63
Air-traffic controller (large airport) 59
Professor with adminstrative duties 51
Professor 49
Physician 48
∂07-Apr-82 1653 RPG Rates
To: JMC
CC: JJW
Joe Weening gave me the figures for Formal Reasoning from
January-March. From these the amounts FR paid and would have
paid are shown below. I included the full list of people so you
can see who is included.
Here is the raw data from January, February, and March:
Doubloons Tracks
FORMAL REASONING 25.714 5050
JMC John McCarthy 7.647 2000
RWW Richard Weyhrauch 4.169 1050
LGC Lew Creary 2.529 250
JK Jussi Ketonen 2.401 350
CLT Carolyn Talcott 2.203 450
CG Chris Goad 2.079 350
JJW Joe Weening 1.530 100
SEK Scott Kim 1.088 150
YK Yasuko Kitajima .929 50
BCM Ben Moszkowski .520 50
AP Antonio Porto .360 50
YOM Yoram O. Moses .164 50
KGK Kurt Konolige .085 50
GFP Gianfranco Prini .005 25
DBP David B. Posner .005 25
LDO Luciano Dalle Ore .001 50
Here's the Formal Reasoning amounts with 1/2 of RPG's amounts added in:
Doubloons Tracks
FORMAL REASONING 25.714 5050
RPG Dick Gabriel 1.942 225 (these figures are *1/2)
27.656 5275
Here are the 3 month totals and per month totals using the old and
new schemes.
The Doubloons figure is using the new formula, with 1 doubloon = $1000.
To get the old charges, multiple the Tracks figure by $29.02/50 times 3
months.
New Scheme Old Scheme
3 month figures: $27,656 $9184.83
1 month figures: $9218.67 $3061.61
-rpg-
∂07-Apr-82 1807 Gene Golub <CSD.GOLUB at SU-SCORE> CSNET
Date: 7 Apr 1982 1806-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: CSNET
To: faculty at SU-SCORE
I have received documentation on CS net. Anyone interested in seeing it
should contact Irmgild. GENE
-------
∂07-Apr-82 1902 CLT
im at the house where are you?
∂07-Apr-82 1911 CLT
actually im headed to school
∂08-Apr-82 0802 JK chien
Are you planning to call him today?
Chien agreed to deal directly with Betty Scott.
∂08-Apr-82 2326 pratt@Shasta (SuNet) Software ownership
Date: 8 April 1982 23:27:02-PST (Thursday)
From: pratt
Subject: Software ownership
To: equip, sun
Marc E. Brown, a patent attorney practicing in LA, has an article on p. 24
of the April 7 issue of Electronics entitled "Who owns employee's inventions?"
Brown says that as a general rule a company has no rights in an invention
merely because it was created by an employee. There are however three
exceptions:
1. Use of company time, facilities, or funds. This will generally convey a
royalty-free non-exclusive license to the company while not infringing on the
inventor's right to patent protection;
2. Employees in special positions. If your job is to invent X, then even if
you end up making X at home your employer can claim ALL rights to the X
invention, including manufacturing, patent, and licensing rights.
3. Rights by contract. You may sign away to your employer much of your
rights to your inventions. Granting the employer full rights to all your
inventions on termination of employment is however considered going too far.
Moreover the court will consider unfair any plan that does not give the
inventor a "fair" share in invention-generated profits.
The employer and the employee can each easily lose their rights if they do
not act promptly in claiming ownership. Waiting till an invention is a
commercial success before laying claim to it is not considered prompt action.
-v
∂09-Apr-82 0002 Colmerauer.TextMgt at MIT-MULTICS
Date: 9 April 1982 03:03 est
From: Colmerauer.TextMgt at MIT-MULTICS
To: John McCarthy <JMC at SU-AI>
In-Reply-To: Msg of 04/08/82 13:55 from John McCarthy
We shall go to meet you at the airport.
Flight Air Inter 6463 at 8:10 pm
Sunday April 11
good trip Michel Van Caneghem
∂09-Apr-82 0139 pratt@Shasta (SuNet) Xerox file service
Date: 8 April 1982 22:59:52-PST (Thursday)
From: pratt
Subject: Xerox file service
To: equip
While at the AFIPS Office Automation Conference this week (where I gave a
paper on the Sun workstation), I stopped by the Xerox booth to find out about
file servers. Here's the scoop. You may order the 8032, a 29 megabyte file
server, today. That's 29 megabytes period, no upgrading to 58 megabytes.
Later in the year they will introduce a file server using up to four of their
Trident 300 megabyte disks. Cost will be around $25K for the processor plus
network interface, plus an additional $25K or so per disk (they were not too
sure of the disk prices).
The file-access protocols are apparently still under development, and
documentation for them will not be available until about the same time the
large file server appears. The lower-level protocols, up to Courier, are
available however.
Sounds like anyone marketing a McCarthy-sized (4-8 gigabyte) file server this
year is going to be in a market niche all by themselves. Quite an opportunity
for Stanford Inc.
-v
∂09-Apr-82 0141 pratt@Shasta (SuNet) Patent rights
Date: 8 April 1982 23:33:31-PST (Thursday)
From: pratt
Subject: Patent rights
To: equip, sun
My previous note was mistitled "Software ownership," the contents of the note
should have revealed that "Patent rights" is a more appropriate title.
-v
∂09-Apr-82 0253 Arthur Keller <ARK at SU-AI> Please come to the CSD Pot Luck April 17
Mail-from: ARPANET site SU-AI rcvd at 9-Apr-82 0246-PST
Date: 09 Apr 1982 0249-PST
From: Arthur Keller <ARK at SU-AI>
Subject: Please come to the CSD Pot Luck April 17
To: Faculty at SU-SCORE
The Spring Pot Luck will be held on Saturday, April 17 starting at 6:30
pm. It will be held at the Escondido Village Center, located off
Escondido St. near the bollards (when coming from Campus Drive turn left
into the driveway just before the bollards). Please bring food and
serving utensils. Friends, visitors, etc., are welcome. A sign up list
will be available by the receptionist (Nancy Dorio) in MJH and online at
SAIL. People willing to help out with the clean up are especially needed
and should contact Alan Siegel (CSD.Siegel@SCORE).
Arthur
∂09-Apr-82 0703 EJS
home made icecream in ping pong room at 10:00 am this morning
∂09-Apr-82 0843 Gene Golub <CSD.GOLUB at SU-SCORE> Reminder
Date: 9 Apr 1982 0839-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Reminder
To: su-bboard at SU-SCORE, faculty at SU-SCORE
cc: CSD-Administration: ;
Just a reminder that today at 4:30 we will be dedicating the mosaic
and we will have a rememberance for George Forsythe. A reception will
follow. GENE GOLUB
-------
∂09-Apr-82 0854 pratt@Shasta at Sumex-Aim Spring Pot Luck
Mail-from: ARPANET site SUMEX-AIM rcvd at 9-Apr-82 0850-PST
Mail-from: SU-NET host SU-SHASTA rcvd at 9-Apr-82 0849-PST
Date: 9 April 1982 08:49:54-PST (Friday)
From: pratt@Shasta at Sumex-Aim
Subject: Spring Pot Luck
To: faculty at score
It would be wonderful if the departmental pot lucks were truly departmental.
At present they tend to be monopolized by the graduate students. I see them
as a great opportunity for the faculty and the students to get together and
socialize. If you can make it to the Spring pot luck, your presence would be
most appreciated. A good showing from the faculty would do a lot towards
livening up the proceedings.
Vaughan
∂09-Apr-82 1551 TW via PARC-MAXC Book
After searching my briefcase and office I came over to Xerox and
turned over my office here. I must have left it at home.
I had not planned to drive down to Palo Alto tomorrow, so it won't
be easy to get it to you then. I would be happy to airmail it
to wherever you will be a week to ten days from now, and if it
absolutely vital I will make the trip with it tomorrow. Sorry
for the hassle. ---t
You're in luck. A copy for Zohar came today, and since he's away, I
can borrow that.
∂10-Apr-82 1000 JMC*
Shapiro dinner, iii,lll
∂10-Apr-82 1351 JDH chess program
in case you see this before you leave I put it in your mailbox at Jacks
John HObby
∂10-Apr-82 1706 Brian Reid <reid@Shasta at Sumex-Aim> Re: Spring Pot Luck
Mail-from: ARPANET site SUMEX-AIM rcvd at 10-Apr-82 1700-PST
Mail-from: SU-NET host SU-SHASTA rcvd at 10-Apr-82 1702-PST
Date: Saturday, 10 Apr 1982 17:02-PST
To: pratt at Shasta
Cc: faculty at Score
Subject: Re: Spring Pot Luck
In-reply-to: Your message of 9 April 1982 08:49:54-PST (Friday).
From: Brian Reid <reid@Shasta at Sumex-Aim>
Supposedly the tradition is that potlucks are student parties. I think
this is an unfortunate tradition. Loretta and I are going to the potluck.
∂12-Apr-82 0947 Betty Scott <CSD.BSCOTT at SU-SCORE> ARPA Contract N00039-82-C-0250
Date: 12 Apr 1982 0940-PST
From: Betty Scott <CSD.BSCOTT at SU-SCORE>
Subject: ARPA Contract N00039-82-C-0250
To: JMC at SU-AI, TOB at SU-AI, ZM at SU-AI, DCL at SU-AI,
Wiederhold at SUMEX-AIM
cc: FFL at SU-AI, MAS at SU-AI, CSD.Hill at SU-SCORE, CSL.Lab.Moira at SU-SCORE,
CSD.Gotelli at SU-SCORE, CSD.BScott at SU-SCORE
The approved contract has been received by SPO. I'll allocate the funds
as soon as I get the paperwork from them, hopefully by the end of the week.
Betty
-------
∂12-Apr-82 1119 Archbold at SRI-AI Thurs. 4/15 - 10:30 Talk and TINLunch - Ben Cohen on Prototypes and Knowledge Representation
Date: 12 Apr 1982 1119-PST
From: Archbold at SRI-AI
Subject: Thurs. 4/15 - 10:30 Talk and TINLunch - Ben Cohen on Prototypes and Knowledge Representation
To: tinlunchers:
Greetings Tinlunchers:
This coming Thursday, April 15, Ben Cohen of PARC will give a
talk at 10:30 in K242, which will then be discussed over TINLunch from
12:00 to 13:00. The 10:30 presentation is:
"A Knowledge Representation Model
of Prototype Theory"
In reply to recent theoretical objections [in Cognition, 9,
1981] to the fuzzy set model of prototype theory, I sketch a
knowledge representation model of typicality, complex concepts,
and quantification. I use orderings of instances and
role-values to capture typicality, role-modification for complex
concepts, and a rperesentation of plurals for quantification."
Ben's paper will not be available in advance.
However, copies of the article in Cognition he is responding
to [Daniel N. Osherson & Edward Smith, "On the Adequacy of Prototype
Theory as a Theory of Concepts", Cognition, Vol.9, No.1, February 1981]
will be available on Barbara's file cabinet from this afternoon onwards.
-------
∂12-Apr-82 1133 Paul Armer <CSD.ARMER at SU-SCORE> CSD Plans
Date: 12 Apr 1982 1117-PST
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: CSD Plans
To: CSD-Faculty: ;
Stanford-Phone: (415) 497-2274
Gene and I need your help. The Dean's office wants to know CSD's
aspirations for new faculty slots by area of specialization over
the next six years. What will be the important new areas of
computer science in the 1980's? What existing areas need
strengthening? For example, we might say that we want to add two
people in graphics. Interdisciplinary areas like computers and
medicine are okay if we wish to give them priority. I hope that
we can discuss this at the faculty luncheon on April 13 but
I'd also welcome inputs on a one-on-one basis as well. As a
related aside, let me add that the President's Advisory Committee
on Computers and Computer Science took us to task for not doing
more in the systems area.
Paul
-------
∂12-Apr-82 1408 Bob Moore <BMOORE at SRI-AI> Addendum to TINLUNCH announcement
Date: 12 Apr 1982 1353-PST
From: Bob Moore <BMOORE at SRI-AI>
Subject: Addendum to TINLUNCH announcement
To: tinlunchers: ;
Ben Cohen has sent over a short written version of his talk. It's
available online as <BMOORE>COHEN.TXT.
--Bob
-------
∂12-Apr-82 1509 FFL
To: JMC, FFL
Judy at III (213 390 86ll) called to say reservations had been made for you
at the Fairmont Hotel, Dallas, starting evening of June 20 for the ANPA show,
which the directors are attending. Return home evening of June 22. Please
let her know if you cannot attend. Is on calendar.
∂12-Apr-82 1600 TW via Ethernet host 50#105 Qual reading list
To: "@AIFAC.DIS[1,TW]" at SU-AI
Based on the messages I have gotten back (see QUAL.MSG[1,tw])
I propose the following reading list:
AI Handbook (all 3 volumes)
Nilsson Principles...
Nilsson and Webber, Readings...
This is more or less the intersection. I took out the vision issue
because there is a long handbook chapter, and did not include NL
stuff because the relevant part (semantics) of my book is not in good
enough shape. If this is OK, it will be made public and official
by the end of this week.
--t
∂12-Apr-82 1617 Archbold at SRI-AI Thurs. 4/15 TINLunch - Draft of Ben Cohen's Talk
Date: 12 Apr 1982 1616-PST
From: Archbold at SRI-AI
Subject: Thurs. 4/15 TINLunch - Draft of Ben Cohen's Talk
To: tinlunchers:
in hard-copy form will be available along with the article to which
he is responding, from tomorrow morning onwards, on top of Barbara's
file cabinet.
-------
∂12-Apr-82 1714 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF APRIL 12 - 16, 1982
Date: 12 Apr 1982 1657-PST
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: ADDENDUM TO COLLOQUIUM NOTICE WEEK OF APRIL 12 - 16, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
SRI Seminar - Thursday, April 15, 1982 at 3:15 p.m. in Jordan 041. Richard
Waldinger from SRI International, will speak on "Program Synthesis."
-------
∂13-Apr-82 1012 Gene Golub <CSD.GOLUB at SU-SCORE> Today's lunch
Date: 13 Apr 1982 1005-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Today's lunch
To: faculty at SU-SCORE
cc: ruhe at SU-SCORE, armer at SU-SCORE
At today's lunh, Jeff Ullman will lead a discussion on the CIS
patent policy. Gene
-------
∂13-Apr-82 1258 Brian Reid <reid@Shasta at Sumex-Aim> Re: CSD Plans
Mail-from: ARPANET site SUMEX-AIM rcvd at 13-Apr-82 1250-PST
Mail-from: SU-NET host SU-SHASTA rcvd at 13-Apr-82 0941-PST
Date: Monday, 12 Apr 1982 12:06-PST
To: Paul Armer <CSD.ARMER at SU-SCORE>
Cc: CSD-Faculty at SU-SCORE
Subject: Re: CSD Plans
In-reply-to: Paul Armer's message of 12 Apr 1982 1117-PST.
From: Brian Reid <reid@Shasta at Sumex-Aim>
If the Stanford CS community wants to do more than pay lip service to
the systems area, we need 5 additional systems slots. Some should come
from EE and some from CS; my feeling is that 3 should be CS and 2
should be EE. Manpower is desperately needed for teaching; we urgently
and immediately need 3 people just to cover the classes we already
offer. We are woefully under-represented in the research areas of
Computer Architecture, Programming Languges, Graphics, Communication
and Networks, and Design Automation.
Brian
∂13-Apr-82 1534 Gene Golub <CSD.GOLUB at SU-SCORE> Hilfinger
Date: 13 Apr 1982 1528-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Hilfinger
To: faculty at SU-SCORE
Paul Hilfinger has declined our offer. He will be going to Berkeley!
GENE
-------
∂14-Apr-82 0831 DDY Oh, no!--LISP!
To: FFL
CC: JMC
Is the LISP manual that John is/was working on called "LISP--Programming and
Proving"? Is it an update to the one by Quam and Diffie done in 1972? I still
don't know how many different writings exist on LISP, which are updates of previous
ones, and which are simply additional. Can someone shed a little more light in
my direction? I get requests for writings with various titles and don't know
what's what. Dawn
∂14-Apr-82 0913 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF APRIL 19 - 23, 1982
Date: 14 Apr 1982 0842-PST
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF APRIL 19 - 23, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
4/19/82 Math 480C Joe Grcar
Monday Numerical Analysis Sandia Laboratories, Livermore
4:15 p.m. Seminar ``Global Errors of the Lanczos Algorithm''
4/20/82 MJ301 Jean Gordon
Tuesday Medical Computing Stanford Medical School
1:30 p.m. Journal Club ``Is Medical Reasoning Fuzzy?''(part 2)
4/20/82 MJ301 Neil Rowe
Tuesday Knowledge Stanford University
2:30 p.m. Representation ``Inheritance of Statistical Properties''
Group Meeting
4/20/82 Jordan 041 Cuthbert Hurd
Tuesday Computer Science IBM
4:15 p.m. Colloquium ``IBM's First Generation Computers (701, 650,
704, and stretch)''
4/22/82 MJ301 Ron Fagin
Thursday AFLB IBM, San Jose
12:30 p.m ``Acrylic Database Schemes''
4/22/82 Jordan 041 David Wilkins
Thursday SRI Seminar SRI International
3:15 p.m. ``Planning Research''
4/23/82 MJ352 Arthur Keller
Friday Database Research Stanford University
3:15 p.m. Seminar ``FLASH: a Portable Language - Independent File
Access System''
!
-------
∂14-Apr-82 0918 PJH via ROCHESTER yr message
john, i think some part f your recent msge was lost in transit. I
got only one line which began " also...". What
is
SRIs commonsense month? I hope its July because Ill be there then.
Pat
∂14-Apr-82 1618 Wiederhold at SUMEX-AIM Re: ARPA Contract N00039-82-C-0250
Date: 14 Apr 1982 1617-PST
From: Wiederhold at SUMEX-AIM
Subject: Re: ARPA Contract N00039-82-C-0250
To: CSD.BSCOTT at SU-SCORE, JMC at SU-AI, TOB at SU-AI, ZM at SU-AI,
DCL at SU-AI
cc: mach at USC-ECLB
In response to the message sent 12 Apr 1982 0940-PST from CSD.BSCOTT at SU-SCORE
I had a call from John Machado.
He will be at Stanford April 22nd. He would like to review two of
the ARPA projects that day, one in the morning and one the afternoon.
I will be out that day, so would like to skip KBMS.
Since JMC is the prime principal investigator John Machado asked if hecould
make the selection/ arrangements.
Thanks Gio
-------
∂14-Apr-82 2215 Lowell Wood <LLW at S1-A> Die Untergang Des SAIL
Date: 14 Apr 1982 2207-PST
From: Lowell Wood <LLW at S1-A>
Subject: Die Untergang Des SAIL
To: jmc at SU-AI
CC: LLW at S1-A
Dear John:
I'm writing this on the assumption that you are still one of the two CSD
faculty preceptors of the SAIL management.
SAIL management seems in need of remedial basic economics, even more
sorely than in the past. It seems to be of the opinion that, when your
business expenses exceed your revenues on sales, the action called for is
to increase prices of your goods-and-services until expenses are equaled
by revenues; if these price boosts decrease revenues through the effect of
lowering business volume, then you should raise prices still further, and
declare your intention to iterate this process without limit.
I continue to be dismayed that the lesson taught by you and Les when you
operated AI's Shining City On The Hill can't be learned by present SAIL
management, namely, that the graduate student body will take adequate care
of their research facilities, if given half a chance and virtually no
material resources. Instead, present management seems determined to
continue to `operate' SAIL with bloated payrolls, faked depreciation
charges on equipment with zero salvage value, A & D charges of highly
dubious benefit to the SAIL-using researcher, and mini-NSF projects of
questionable value to the SAIL research community (e.g., the Network
Sandbox) comparable in number to the children of the Old Woman Who Lived
In The Shoe. When the groaning peasantry fails to pony up enough taxes to
support SAIL's New Class, they are (characteristically enough) threatened
bluntly with extinction!
My personal stake in the outcome of this little morality play is tiny, and
continuing to diminish daily; the S-1 Project voted its confidence in the
New Order with its feet last Summer. However, I have a continuing
interest in the health of the Stanford CSD research environment, if in no
other way than with respect to my Hertz Foundation responsibilities. Are
you and your colleagues really go to stand by and let this downward spiral
continue to a definitive financial crash? If so, will you then give the
KL-10 and its peripherals to a CSD graduate student consortium to operate
after `SAIL' goes bankrupt? I'm quite certain that they could
satisfactorily operate it and moreover could readily finance its material
needs by selling partial use of it to the CSD faculty (while putting away
a tidy sum annually as well)!
Lowell
∂05-Apr-82 1008 REG
To: BBOARD at SU-AI, BBOARD at SU-SCORE
Notice to bulletin boards. Hardcopy will be available from Nancy Dorio,
receptionist, MJH second floor.
After seven months of operation under the present rate structure, we
are undertaking an adjustment to bring the computer facilities cost
center more nearly into financial balance. The rates set forth below
will be effective April 1, 1982 through August 31, 1982.
First, many users have expressed an interest in where their money goes.
I am willing to supply this information to the extent that private
information, such as salary data, is maintained in confidence.
The present consolidated operating budget for computer facilities is
set forth below.
Computer Facilities Consolidated Budget 1981/82
SAIL Score Xerox Develop Admin Network SWS Total
Salaries 112,169 87,750 5,000 41,860 43,177 25,985 20,805 336,746
Benefits 21,649 16,936 965 8,079 8,333 5,015 4,015 64,992
Total ------- ------- ------- ------- ------- ------- ------- ---------
Sal & Ben 133,818 104,686 5,965 49,939 51,510 31,000 24,820 401,738
Travel 10,828 10,828
Maintenance 57,500 32,000 20,000 109,500
Expendables 57,600 39,600 33,600 20,000 150,800
Total ------- ------- ------- ------- ------- ------- ------- ---------
Direct 191,418 201,786 37,965 49,939 62,338 84,600 44,820 672,866
Alloc A & D 38,338 40,415 7,603 <49,939> <62,338> 16,944 8,977 0
Depreciation 45,208 204,793 86,400 102,530 438,931
System ------- ------- ------- ------- ------- ------- ------- ---------
Total 274,964 446,994 131,968 204,074 53,797 1,111,797
Alloc Netw 104,653 83,723 15,698 <204,074> 0
Chargable ------- ------- ------- ------- ------- ------- ------- ---------
Total 379,617 530,717 147,666 53,797 1,111,797
YTD income 132,174 279,660 84,778 estimated, September through March
Required ------- ------- -------
income: 247,443 251,057 62,888 during the five months, April through August
Based on these figures, the revised aliquot rates, for April through August are
these:
New Rate Old Rate
SAIL, See Below $29.02
Score, 3200 aliquots, $ 15.69 /month 13.18
Alto, 280 aliquots, $ 44.92 /month 44.54
Specific explanations regarding each system follow.
SAIL:
The original budget for SAIL was $417,000. Although this has been reduced in
the current budget, the fact that SAIL continues to not be fully paid for requires
this upwards adjustment in rates. Work on the replacement for the data disc
has been in progress since September; we hope that it will be ready in April.
Effective April 1, 1982, the chargeout process for SAIL will be modified
to take into account the consumption of cpu time and console time as well
as disk space. The new rates will be
Disk Space $0.02 /track-day
"A" CPU $2.60 /cpu-minute
"A" job time $1.75 /job-hour
Weekday Weekend
+---------+---------+
0000-0900 | C | C | "B" time is charged at 2/3 of the "A" rate
+---------+ + "C" time is charged at 1/3 of the "A" rate
0900-1300 | B | C |
+---------+---------+ No adjustments are made for holidays.
1300-1800 | A | B |
+---------+---------+
1800-2400 | B | C |
+---------+---------+
The Computer Science Department provided an $80,000 subsidy towards the operation
of SAIL in fiscal '81. CSD cannot continue to use gift funds to subsidize
research facilities. If the combined users of SAIL fail to deliver adequate
revenues, the Computer Science Department will cease to operate SAIL.
Score:
The original budget for Score was $506,000. Due to new university accounting
policy adopted due to GSA accounting standard A-21, the depreciation total
for Score changed from a planned $165,000 to nearly $205,000. This change,
which might have resulted in a $40,000 increase, has been mitigated by
savings in other operating costs.
The large increase in the size of the Score budget this year is due to two factors:
first, the engineering charges for the Score-specific development of the
Massbus Ethernet Interface (MEIS), which will provide a high-throughput path for
network connections; second, for charges due to network operations (see the
discussion of network operations charges, below).
We expect that by means of the MEIS, and by appropriate placement of
Ethertip terminal multiplexors, we will be able to provide more and better
terminal service to our users who are not at Margaret Jacks Hall. The engineering
development effort will be completed this year; the personnel charged to
Score will be charged to a different community in subsequent years.
Further, we expect to build several copies of this interface;
when we sell these copies, we will recover some of our engineering costs.
Such cost recovery will appear as reductions in our charging rate for next
year. The engineering effort represents perhaps $40,000 of direct charges
to Score, which will not recur.
Network Operations:
The network operations charges represent an assessment to each host system for
the expenses of operating and monitoring the ethernet, supplying and
repairing the Dover, and the depreciation of the capital equipment
involved in the network (the Dover, the wire itself, and four of the
Altos which are used in network management activities.)
I am aware that sharing this burden over only the users of the CSDCF mainframes
is inappropriate. I shall be working to develop an appropriate cost-sharing
mechanism to spread these costs over all who benefit. I expect that community
of network users is growing far more rapidly than the costs for operating the
network. Therefore, the network operations costs will be appear as a shrinking
component of future costs.
Administration and Development:
There are two categories of indirect costs that are distributed to the
various other categories. These categories are Administration and Development.
Indirect costs are distributed to other categories in an amount proportional
to the total direct costs of each category.
Administration includes such functions as planning, budgeting, expenditure
control, and billing.
Development activities include projects that are related to the network, but
not tied to any specific host. The best example of such a project is the
Ethertip. We claim such projects benefit everyone in the CSDCF community.
SunCluster (SWS):
The column labeled SWS represents another developmental effort. This
activity appears in the consolidated budget because it involves some
CSDCF personnel. Note that these costs are not apportioned to any
of the host machines.
∂15-Apr-82 0910 Betty Scott <CSD.BSCOTT at SU-SCORE> Re: ARPA Contract N00039-82-C-0250
Date: 15 Apr 1982 0908-PST
From: Betty Scott <CSD.BSCOTT at SU-SCORE>
Subject: Re: ARPA Contract N00039-82-C-0250
To: Wiederhold at SUMEX-AIM, JMC at SU-AI, TOB at SU-AI, ZM at SU-AI,
DCL at SU-AI
cc: mach at USC-ECLB, CSD.BSCOTT at SU-SCORE
In-Reply-To: Your message of 14-Apr-82 1617-PST
Gio,
John McCarthy left last weekend for about two months, and I am not
sure when Zohar will be back.
Betty
-------
∂15-Apr-82 1004 Archbold at SRI-AI >>> REMINDER : 10:30 TALK, 12:00 TINLUNCH - BEN COHEN, PROTOTYPE THEORY, TODAY <<<
Date: 15 Apr 1982 1001-PST
From: Archbold at SRI-AI
Subject: >>> REMINDER : 10:30 TALK, 12:00 TINLUNCH - BEN COHEN, PROTOTYPE THEORY, TODAY <<<
To: tinlunchers:
Ben Cohen's paper will be presented in K242 at 10:30.
TINLUNCH at 12:00 will be indoors, K242 (ground is still a bit damp in
the park).
-------
∂15-Apr-82 1025 DCL Re: ARPA Contract N00039-82-C-0250
To: wiederhold at SUMEX-AIM, csd.bscott at SU-SCORE,
mach at USC-ECLB, TOB at SU-AI, ZM at SU-AI, JMC at SU-AI
∂15-Apr-82 0910 Betty Scott <CSD.BSCOTT at SU-SCORE> Re: ARPA Contract N00039-82-C-0250
Date: 15 Apr 1982 0908-PST
From: Betty Scott <CSD.BSCOTT at SU-SCORE>
Subject: Re: ARPA Contract N00039-82-C-0250
To: Wiederhold at SUMEX-AIM, JMC at SU-AI, TOB at SU-AI, ZM at SU-AI,
DCL at SU-AI
cc: mach at USC-ECLB, CSD.BSCOTT at SU-SCORE
In-Reply-To: Your message of 14-Apr-82 1617-PST
Gio,
John McCarthy left last weekend for about two months, and I am not
sure when Zohar will be back.
Betty
-------
REPLY:
I will be at the AdaTech committeee meeting in Boston April 21 - 23
and out of town till April 28th.
- David
∂15-Apr-82 1142 Betty Scott <CSD.BSCOTT at SU-SCORE> Re: ARPA Contract N00039-82-C-0250
Date: 15 Apr 1982 1138-PST
From: Betty Scott <CSD.BSCOTT at SU-SCORE>
Subject: Re: ARPA Contract N00039-82-C-0250
To: DCL at SU-AI, wiederhold at SUMEX-AIM, mach at USC-ECLB, TOB at SU-AI,
ZM at SU-AI, JMC at SU-AI
cc: CSD.BSCOTT at SU-SCORE
In-Reply-To: Your message of 15-Apr-82 1025-PST
It appears to me that only Tom will be around for the Machado visit.
Betty
-------
∂15-Apr-82 1237 Wiederhold at SUMEX-AIM Re: ARPA Contract N00039-82-C-0250
Date: 15 Apr 1982 1234-PST
From: Wiederhold at SUMEX-AIM
Subject: Re: ARPA Contract N00039-82-C-0250
To: CSD.BSCOTT at SU-SCORE, JMC at SU-AI, TOB at SU-AI, ZM at SU-AI
In response to the message sent 15 Apr 1982 0908-PST from CSD.BSCOTT at SU-SCORE
the remaining candidates seem to be Binford and Luckham.
Please respond to all if there is a problem, and who will be there am and
who pm.
Gio
-------
∂15-Apr-82 1237 Wiederhold at SUMEX-AIM Re: ARPA Contract N00039-82-C-0250
Date: 15 Apr 1982 1236-PST
From: Wiederhold at SUMEX-AIM
Subject: Re: ARPA Contract N00039-82-C-0250
To: CSD.BSCOTT at SU-SCORE, JMC at SU-AI, TOB at SU-AI, ZM at SU-AI
In response to the message sent 15 Apr 1982 0908-PST from CSD.BSCOTT at SU-SCORE
In response to the message sent 15 Apr 1982 0908-PST from CSD.BSCOTT at SU-SCORE
the remaining candidates seem to be Binford and Luckham.
Please respond to all if there is a problem, and who will be there am and
who pm.
Gio
[remail because of missed addressees]
-------
∂15-Apr-82 1252 Wiederhold at SUMEX-AIM your copies
Date: 15 Apr 1982 1250-PST
From: Wiederhold at SUMEX-AIM
Subject: your copies
To: jmc at SU-AI, toob at SU-AI, zm at SU-AI
cc: mach at USC-ECLB
In response to the message sent 15 Apr 1982 1025-PST from DCL at SU-AI
that makes my response invalid.
Tom will you be here ?
Gio
-------
∂15-Apr-82 1548 ME FIXIML
To: JMC, RWW
There is a new version of FIXIML up (actually two, one for each of you)
that runs the Imlac in image mode. This means that you should be able
to reload the Imlac even if you're in DM mode in the system, and it also
fixes the new problem with WAITS non-display service eating the ↑S and ↑Q
that you and the loader have to type to reload the Imlac. Let me know if
there are any problems. (The mods were done by PMF.)
∂15-Apr-82 1730 Paul Cohen <CSD.PCOHEN at SU-SCORE> Page numbers.
Date: 15 Apr 1982 1729-PST
From: Paul Cohen <CSD.PCOHEN at SU-SCORE>
Subject: Page numbers.
To: JMC at SU-AI
Professor McCarthy, we are about to send Volume 3 of the Handbook of AI
to press, but we are missing the page numbers of one of your papers for
our bibliography. The paper is "A basis for a mathematical theory of
computation," and it is in Braffort and Hischberg, Computer programming and
formal systems, 1963.
Please supply the page numbers if you can,
Thanks, --Paul Cohen
-------
∂16-Apr-82 2030 Paul Armer <CSD.ARMER at SU-SCORE> NSF Statistics
Date: 16 Apr 1982 1700-PST
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: NSF Statistics
To: CSD-Faculty: ;
Stanford-Phone: (415) 497-2274
You may be interested in the following statistics. NSF awarded
32 fellowships in Computer Science. The institutions indicated
by the recipients as their first choice were as follows:
Stanford 12
MIT 10
CMU 3
Cornell 2
UC-Berkeley 2
Brown 1
Dartmouth 1
Pennsylvania 1
Of the 32, our admissions committee had admitted 11 (that includes
those on the waiting list who were accepted). Of the 12 who had
given Stanford as their first choice, the committee had admitted 5.
Of those who have accepted, 6 have NSF fellowships. There was one
defector among the 5 we had admitted from those who indicated
Stanford as their first choice but we had two acceptances from
individuals who had indicated someplace other than Stanford as
their first choice.
-------
∂17-Apr-82 2210 DEK
To: GHG at SU-AI, EAF at SU-AI, JEF at SU-AI, JMC at SU-AI,
REG at SU-AI
I feel near the breaking point and have to let off some steam, so please
forgive me for adding to your already heavy burdens. I need your advice.
There's no way my research grants can pay the new charges for computer time.
Before long I'm going to have to tell four or five students that I can no
longer afford to pay for their computer accounts, so they should try to
do their research without machines.
Also, I realize that it is irresponsible for me to be doing research that
costs the university more than I can pay, so I can't do the research here
either.
It seems to me that people who are upset about the new charges are arguing
about the wrong things. The computer facilities we have here are costing
us a certain amount of money, say X, and our research grants are bringing in a
certain amount of money, say Y. The basic problem is that X is more than Y.
Changing the formula for how the charges X are distributed among customers
is not going to solve the basic problem. So I don't want to waste any time
discussing the way X is getting subdivided. (It does seem that the
new policy is so different from the assumptions on which my past research
budgets were set up that they are more injurious to my own projects than
to others--surely not everyone's bill is going up by a factor of four?---
but still there will be a problem as long as X is more than Y.)
The remedy is either to decrease X or increase Y. Well, I'm trying to
increase Y, but NSF's new grant awards are some $600K less than we asked.
I have recently approached System Development Foundation, which seems to
be my last hope. If they don't come through, I have no other ideas. Nor
do I have much time to scout up additional funds; I believe I am doing
a fair amount of fundraising, so it's not just my ego saying "my time is
more valuable that that". There has to be a limit to what a professor can
be expected to accomplish with his time.
The other solution is to decrease X. Everybody is saying now that they are
going to give up on SAIL. Fine, that will decrease X by allowing CSD-CF to
fire some people and save on air conditioning. It will also cripple my
work; I know that I am much more efficient on SAIL than on SCORE or
Altos or the glorious systems at PARC.
From a personal standpoint, I'm a prisoner of TEX and METAFONT. These
systems are so near being outstanding, I am morally obliged to give them
a good finishing and polish before I abandon them and work on combinatorial
algorithms. Right now I have the new version of TEX 2/3 coded. I need to
finish it in May, debug it in June, write the new manual in July, lead a
big international workshop about it at the end of July, prepare the final
version of the documentation in August. If I can't do that, I really won't
be able to live with myself; it's that important to me. If I can't afford to
do it at Stanford, I'll have to find some other place to do it, and that
will be bad because my efficiency will go way down, so I would have to
drop all kinds of other responsibilities. Besides that, there's an incredible
amount of work to be done with respect to fonts and METAFONT. I need SAIL
for that work too, but if I can't afford to pay for it I have to face that
fact and either (a) not do the work or (b) do it elsewhere. I can't abide by
(a); I'm too close to being finished with a beautiful thing, I simply
can't drop it at this stage.
Right now the only way out that I see is to spend all my year's computing
budget by the summer, terminate the student support, and move off onto
a SUN terminal for the future METAFONT development. I could also go on
leave next year, probably working at PARC, so that what little computing
funds we have could be used by a few students here during that time.
What other alternatives do I have? To me, it's impossible not to do the research
that I'm burning to do. I don't like to put research ahead of students, and
I don't see my current predicament as a steady state. But for the short term
I know that I simply must finish TEX and METAFONT soon if I am to regain
my sanity and equilibrium. At the same time I can't do research for which
there are no funds, and I can't afford to do it here unless SDF comes through.
Thanks for listening. --don
∂20-Apr-82 1707 Gene Golub <CSD.GOLUB at SU-SCORE> Recruiting
Date: 20 Apr 1982 1644-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Recruiting
To: faculty at SU-SCORE
cc: RECRUITMENT: ;
The recruiting season has not finished!
James Frankel of Harvard will speak on Wed May 12 on
"The Architecture of Closely-coupled Distributed Computers
and their Language Processors".
Does anyone have a forum for him to speak in?
GENE
-------
∂20-Apr-82 1710 Gene Golub <CSD.GOLUB at SU-SCORE> Visitor on May 5
Date: 20 Apr 1982 1658-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Visitor on May 5
To: faculty at SU-SCORE
cc: RECRUITMENT: ;
Bala Iyer of Rice will be a visitor on Wed May 5.
He will speak on "Dynamic Memory Interconnections for
Rapid Access". Does anyone have a convenient seminar
for him to speak in? We will be considering him for
our systems position. GENE
-------
∂21-Apr-82 0922 TW via Ethernet host 50#117 AI qual schedule.
To: csd.mwalker at SU-SCORE
CC: "@AIFAC.DIS[1,TW]" at SU-AI
We are planning to have the qual sometime during the week
of May 17-23. The day will depend somewhat on the number
of students taking it. If there are a lot, it will have
to be on Saturday. If there are few enough, we can
work around the weekday schedule. Can you put out a notice
indicating the general time and asking for students to sign
up so we can get a clearer idea. I will be sending you
an official reading list soon. Thanks -t
∂21-Apr-82 0954 TW via Ethernet host 50#117 Qual details
To: csd.mwalker at SU-SCORE, "@AIFAC.DIS[1,TW]" at SU-AI
The AI qualifying exam for 1982 will be an oral exam to be scheduled
during the week of May 17-23. The format will be basically the same as
previous years, with one minor change (dealing with the material used for
the "ice-breaker" at the beginning of the exam). The reading list has
been modified, replacing the previous list of books and articles with
several recent comprehensive books.
FORMAT:
Each student will have an hour and a half oral exam with a
committee of three, made up of AI faculty members and AI researchers from
cooperating local institutions. The committee will be assigned by the
qualifying committe, and will not include the student's primary advisor.
The exam will begin with a presentation by the student of either: a
description of his/her current work and interests in AI research; or a
presentation and critque of a paper from the current literature. Students
choosing a paper should have it approved by the qual committee (check with
Terry Winograd) by one week before the exam. It should be chosen to raise
some substantial issues that can serve as a starting point for the more
general examination.
READING LIST:
Avron Barr and Edward Feigenbaum (eds.), Handbook of Artificial
Intelligence (all 3 volumes). Copies of Volumes II and III will be
available from Jake Brown and on reserve.
Nils Nilsson, Principles of Artificial Intelligence.
Bonnie Webber and Nils Nilsson (eds.), Readings in Artificial Intelligence.
∂21-Apr-82 1018 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF APRIL 26 - 30, 1982
Date: 21 Apr 1982 0936-PST
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF APRIL 26 - 30, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
4/27/82 MJ301 Curt Langlotz
Tuesday Medical Computing Stanford University
1:30p.m. Journal Club ``Recent Articles of Interest''
4/27/82 MJ301 Professor Sanjay Mittal
Tuesday Knowledge Ohio State University
2:30p.m. Representation ``CSRL: A Multi-layered Language for Diagnostic
Group Meeting Problem Solving''
4/27/82 Jordan 041 Yngve Sunblad
Tuesday Computer Science Swedish Royal Institute of Technology
4:15p.m. Colloquium ``The Computer as a tool for the graphic worker''
4/29/82 MJ301 Dan Willard
Thursday AFLB Bell Labs
12:30 p.m ``New Results in Data Structures''
4/29/82 Jordan 041 John Lowrance
Thursday SRI Seminar SRI International
3:15 p.m. ``Evidential Reasoning''
4/30/82 Chemistry Gazebo Professor Sanjay Mittal
Friday Siglunch Ohio State University
12:05 p.m ``Event-Based Organization of Temporal
Databases''
4/30/82 MJ352 HoNien Liu
Friday Database Research P G \&\ E San Francisco
3:15 p.m. Seminar ``Database Management Systems at P G \&\ E''
!
-------
∂22-Apr-82 1647 Gene Golub <CSD.GOLUB at SU-SCORE> Lunch discussion on Tuesday
Date: 22 Apr 1982 1643-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Lunch discussion on Tuesday
To: faculty at SU-SCORE
cc: armer at SU-SCORE
I will be away on Tuesday. Paul Armer will lead a discussion on
the faculty plan we hope to submit to the Dean. A draft of the
proposal will be sent to you before the meeting. GENE
-------
∂22-Apr-82 1703 Paul Armer <CSD.ARMER at SU-SCORE> Re: Lunch discussion on Tuesday
Date: 22 Apr 1982 1658-PST
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: Re: Lunch discussion on Tuesday
To: CSD.GOLUB at SU-SCORE, faculty at SU-SCORE
cc: armer at SU-SCORE
Stanford-Phone: (415) 497-2274
In-Reply-To: Your message of 22-Apr-82 1643-PST
Here is the draft of the memo to the Dean concerning a faculty plan,
which Gene mentioned in his message concerning lunch next Tuesday.
Comments would be welcome, not only at lunch but via electronic
mail and/or one on one discussion. The draft proposal is stored
as <csd.files>wessells.memo on SCORE.
Paul
DRAFT DRAFT DRAFT DRAFT DRAFT DRAFT DRAFT DRAFT DRAFT
I write in response to your memo of February 4, 1982 asking that we
join you in planning for the next four to six years. We welcome this
opportunity to tell you of our aspirations for the future, hoping that
you can help us turn them into reality.
First, let me tell you the reasoning which lies behind our aspirations.
The computer will surely be viewed by historians of the next century
as one of the two or three most important developments of this century.
Further, the computer is pervasive -- it is not only rapidly getting
to the point where it touches and impacts every individual but it is
also useful in and impacts all other disciplines. It does so because
the computer is an engine of information processing and information
processing is at the heart of what each individual does much of the
time. In fact, Porat has pointed out that by 1980 over half of the
U.S. Work Force was engaged in "information occupations." (1)
Computer Science is a young and rapidly growing discipline. CSD itself
has been in existence only 17 years and was
one of the first such departments in the country. I point this out
because it means that the total body of knowledge which makes up
Computer Science is growing exponentially -- at least 95% of the
computer scientists who ever lived are alive today and adding to
what Computer Science encompasses. This means that even if there
weren't whole new areas of Computer Science to be covered, maintaining
a faculty which spans the field can be done only with a faculty
which is expanding in size. And there are new areas, about which,
more later.
Is there a demand for our output? Our graduates have many job
possibilities from which to choose. And the high salaries offered
to them (and sometimes to our faculty!) are indicative of the
demand relative to the supply of computer scientists. The Bureau of
Labor Statistics estimates that by 1990 the general need for
computer professionals will exceed the supply by a factor of three. (2)
The ratio between demand and supply for individuals with advanced
degrees is even higher. Hamblen estimates that for 1979 there were
34,000 new openings at the Master's level and that only 3500 were
produced. For the Ph.D. level he estimates that the demand was 1300
and production was 200. (3) So you see, we could double our output
(about 20 per year at present, which means we produce about 10%
of the U.S. output of Ph.D.'s in Computer Science)
and still not make a dent in the demand. How long can this last?
Considering the growing pervasiveness of the computer I believe
that supply will still be less than demand a generation from now.
A new industry is growing up all around us.
Let me now turn to our present faculty structure. Here is the way we
line up at present. (I am including Electrical Engineering faculty
in the Systems area because it is meaningless to try to talk about
our program and needs there without including them.) I should also
point out that boundaries in what follows are not always well defined
and that individuals often have multiple interests we haven't shown.
Numerical Analysis
Dantzig (joint with Operations Research)
Golub
Herriot (retiring June, 1982)
Oliger
Schreiber*
Wilkinson/Dahlquist* (each is here one quarter per year)
Analysis of Algorithms
Floyd
Knuth
Mayr* (effective Autumn 1982)
Yao (pending)
Heuristic Programming
Buchanan (Adjunct)
Feigenbaum
Genesereth* (effective Autumn 1982)
Lenat*
Artificial Intelligence and Mathematical Theory of Computation
Binford (Adjunct)
Manna
McCarthy
Pratt (pending)
Winograd (joint with Linguistics)
Systems/Theory
Luckham (Adjunct in EE)
Owicki (EE)
Tobagi* (EE)
Ullman
Systems/Software
Cheriton*
Hennessy* (EE)
Lantz*
Reid* (EE)
Wiederhold (Adjunct pending)
Systems/Hardware
Baskett (joint with EE)
Flynn (EE)
McCluskey (joint with EE)
*Untenured
What changes do we already know about in the above? Baskett has resigned.
Herriot will retire in June, 1982. Dantzig will retire in 1985. Of the
remaining faculty, only McCarthy and Wilkinson will retire
before the year 2000.
1982-83 will be Schrieber's last year at Stanford. Cheriton,
Lantz and Lenat will
be up for tenure decisions during the six year span of this
planning document.
Where do we stand? Not counting faculty from Electrical Engineering,
counting joint appointments at 1/2, counting Wilkinson/Dahlquist as
1 untenured slot (they really represent only 2/3),
not counting W. F. Miller, not counting Herriot (because his replacement,
Oliger, is already on board) and counting all the pending appointments
as though approved, we have 12 tenured faculty, 3 adjunct professors
and 7 untenured faculty.
What do we propose for the future? Our aspirations are to grow by two
billets per year over the next six years. Further, we are assuming
that any billets involved in a change (e.g., Baskett, Dantzig, Schrieber,
plus Cheriton, Lantz and Lenat if they don't get tenure) will be retained
by CSD. Assuming that we add 12 billets over the next six years (and that
5 of them are tenured positions), that all billets undergoing a change
are retained and that one untenured faculty member is given tenure, at
the end of 1988-89 we will have 18 tenured faculty, 3 adjunct professors
and 14 untenured faculty.
Why do we need such expansion? I have already discussed the fact that
just to continue to span the existing areas of computer science would
take an expanding faculty because of the exponential growth of new
knowledge in the young science of computers. And of course, their are
new areas. Our faculty believes that the following areas have the
greatest need at the present time:
Graphics
Machine Architecture
Speech and Natural Language Processing
Robotics
Design Automation
Systems
We can't say that these areas are so new that we don't have at least one
member of the faculty with some expertise therein but these do
represent the areas of most rapid growth and are therefore most in need
of added faculty.
Systems is an area of particular concern. It is the opinion of our
faculty that 3 to 5 new members are required in the systems area just to
adequately handle the existing teaching load. The belief in the
criticality of the situation with respect to systems isn't confined
solely to CSD. The President's Advisory Committee on Computer Science
and Computing said in its most recent report (February 10-11, 1982),
"Unfortunately Stanford's computer systems faculty remains far too
small for the importance of the field, both as an academic discipline
and as the underpinning for computer use on the campus. ... The
Committee stresses again that recruiting, supporting and rewarding
talented systems faculty is of the highest priority if Stanford is to
remain preeminent in computer science."
You will recall that I mentioned earlier that computing impacts
all other disciplines. Yet I have had nothing to say about joint
appointments or interdisciplinary efforts. Our feelings here are
two-fold. First, that it often works well for an individual who
is going to have a foot in two camps (Compter Science and some
other discipline) to have his first professional education and
priorities in the non-computer science discipline. Secondly,
we're so busy trying to handle (from a faculty point of view)
the main stream of Computer Science, that we don't have much energy
for interdisciplinary activities. There have been exceptions to this
last statement over the years, especially with respect to computers
and medicine. To cite a specific case, 9 Stanford faculty, including
4 from CSD, have joined to form an interdisciplinary committee on
Medical Information Sciences and have proposed a formal training
program which has been given University approval. In a billet-rich
world we might spend some in this area of interdisciplinary activity.
Statistical computing is another area of interest in addition to
medical information sciences.
President Kennedy has recently expressed himself as being disappointed
in "the paucity of new courses for non-majors in the sciences and
technology" (4) Our one offering of this type, "CS101 - Computers:
Their Nature, Use, and Impact" recently had its enrollment jump from
the 35-50 range to 125. Again, in a billet-rich world we could pay
more attention to this area.
If you buy what we propose, in six years we will have 18 tenured
faculty, 3 adjunct professors and 14 untenured faculty. Assuming
no additional billets beyond what we have proposed here but assuming
the retention of billets undergoing change and that one in three
tenured faculty gets tenure, in a few more years we would be at
23 tenured faculty, 3 adjunct professors and 9 untenured faculty.
That's larger, I believe, than any existing faculty in H&S. Is
that reasonable? In view of what needs to be done we believe that
it is. In fact, our proposed rate of expansion is more a function
of how fast we think we can add quality individuals than it is a
function of the perceived need, which we believe to be greater.
But is it conceivable that the demand for computer science
graduates might level off or even decline in the 1990's?
After all, nothing can continue to grow exponentially forever.
I don't believe that we'll see a leveling off for many years.
But what if I'm wrong and a decline sets in -- what will we
do with all those faculty members? There are at least two areas
which could take up any slack. First of all, undergraduate
education in computer science is presently handled by our graduate
students and by lecturers. We aren't particularly happy with that
but we don't have the faculty to handle both graduate and undergraduate
classes. If the demand ever slackens at the graduate level, we can
assign faculty to the undergraduate classes. Secondly, if the
demand slackens we can also turn to the interdisciplinary activities
we now leave essentially untouched.
But I don't believe that we'll be worrying about too many faculty.
Rather, I expect we'll be back in five or six years arguing for
more billets. By the year 2000 or so, our successors will probably
be talking about a School of
Computer Science (or maybe Information Science) and even more faculty.
And just to be sure that it isn't overlooked, let me mention that we
need space for these new faculty members and for their students. And
the students need computer capabilities for instructional purposes.
We look forward to interacting with you and your staff on this matter.
* * * * * * * *
References
(1) Porat, M. U. The Information Economy. U.S. Dept. of Commerce, Office
of Telecommunications. Washington: GPO, 1977.
(2) U.S. Bureau of Labor Statistics. Occupational Projections and
Training Data, 1978 edition, Bulletin 2020. Washington: GPO, 1979.
(3) Hamblen, J. W. Computer Manpower -- Supply and Demand by States,
fourth edition. St. James, Missouri: Information Systems Consultants, 1981.
(4) Campus Report. Stanford, California: Stanford University, April 14, 1982.
-------
∂22-Apr-82 1805 Gene Golub <CSD.GOLUB at SU-SCORE> Special Lunch
Date: 22 Apr 1982 1800-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Special Lunch
To: CSD-Faculty: ;
Jack Herriot will be retiring at the end of this quarter. We
expect him to teach one quarter each year but he will no longer
be part of the active faculty.
There will be a farewell luncheon on Wednesday, June 9 at 12:15
at the Faculty Club. The number of participants is limited so
please let me or Irmgild know if you are going to be able to come
as soon as possible. The Department will host the luncheon.
Note June 9 is the last day of finals!
I hope you can make this.The next retirement is in 1998!
GENE
-------
∂22-Apr-82 2035 CLT
To: "@LOGIC.DIS[1,CLT]" at SU-AI
The Department of Philosophy, in co-operation with the Sloan
Cognitive Science Group, the Mathematics Department, and the
Center for Advanced Study in the Behavioral Sciences, is
pleased to announce:
THE LOGIC OF SEMANTICS
Three lectures by JOHAN VAN BENTHEM, Professor
Philosophical Institute
University of Groningen
The Netherlands
Contemporary logic is deriving new inspirations from
philosophical and linguistic semantics. This series
of lectures is devoted to some especially promising
areas. Its aim is to show how new logical themes
and results emerge from the semantic perspective.
The Structure of Semantic Theories Friday, April 30, 2:15
Behind the Scenes of Conditional Logic Monday, May 3, 4:15
The Logic of Time Friday, May 7, 2:15
All of the lectures will be held in 920, the seminar room in the
Philosophy Department, Building 90, Inner Quad. Note that the
Monday lecture is at 4:15, while the Friday lectures are earlier,
at 2:15.
∂23-Apr-82 0931 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF APRIL 26 - 30, 1982
Date: 23 Apr 1982 0910-PST
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF APRIL 26 - 30, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Robotics Seminar - Wednesday April 28, in MJ252 at 12:15 p.m. Charles Wampler
from Mechanical Engineering, will speak on "A Manipulator Control Scheme Using
Joint Force Measurements."
-------
∂23-Apr-82 1551 Gene Golub <CSD.GOLUB at SU-SCORE> New faculty member
Date: 23 Apr 1982 1545-PST
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: New faculty member
To: faculty at SU-SCORE
cc: su-bboards at SU-SCORE
I'm pleased to say Ernst Mayr has accepted our offer as a faculty
member. Welcome on board! GENE
-------
∂25-Apr-82 1332 ARG orals
To: JMC
CC: FFL
John - I'm planning on scheduling my orals for July 21. Is that an okay
date for you? Sometime before then I'ld like to talk to you briefly
about what I've done. Hope your sabbatical trip is going well.
Ron
∂26-Apr-82 1618 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Visits by Iyer and Frankel
Date: 26 Apr 1982 1544-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Visits by Iyer and Frankel
To: faculty at SU-SCORE
As you know, B. Iyer will be visiting on May 5 and J. Frankel on May 12.
Please let me know as soon as possible when would be a convenient time for
you to see them.
Thanks,
Irmgild
-------
∂27-Apr-82 0648 Mike Gordon <GORDON at USC-ISIF> "LISP Programming and Proving"
Date: 27 Apr 1982 0647-PDT
From: Mike Gordon <GORDON at USC-ISIF>
Subject: "LISP Programming and Proving"
To: JMC at SU-AI
Hi. A rumour has reached Cambridge (UK) that you and Carolyn Talcott have
produced a very interesting book/report/paper entitled something like:
"LISP Programming and Proving". Is it available, and if so how can I get
a copy. (Alas I can't get files or hrd copy through the Arpanet yet).
Best wishes ---------- Mike Gordon.
-------
∂27-Apr-82 0949 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF MAY 3 - 7, 1982
Date: 27 Apr 1982 0921-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF MAY 3 - 7, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
5/3/82 MJ301 Kurt Mehlhorn
Monday Special AFLB Saarbruecken
2:15 p.m. Seminar ``Las Vegas is Better Than Determinism in VSLI
and Distributed Computing''
5/3/82 Math 380C Suhrit K. Dey
Monday Numerical Analysis NASA-Ames and Eastern Illinois University
4:15 p.m. Seminar ``Numerical Solution of Nonlinear Difference
Equations by Perturbed Functionals''
5/4/82 Jordan 041 Anni Bruss
Tuesday Computer Science IBM Yorktown
4:15 p.m. Colloquium ``Is What You See What You Get?''
5/6/82 Jordan 041 David Warren
Thursday SRI Seminar SRI International
3:15 p.m. ``PROLOG, Databases \&\ NL Access''
5/7/82 MJ352 Kamran Parsaye
Friday Database Research Hewlitt Packard Labs
3:15 p.m. Seminar ``The State of the Art in Database Design Tools''
!
-------
∂28-Apr-82 1041 Ichiki at SRI-AI Meeting before TINLUNCH 4/29
Date: 28 Apr 1982 1040-PDT
From: Ichiki at SRI-AI
Subject: Meeting before TINLUNCH 4/29
To: tinlunchers:
There will be a talk at 10:30 am in Conference Room EK242 by Bill Woods
on "Knowledge Representation." It will be followed at 12:00 noon by
the usual free-wheeling TINLUNCH discussions.
-------
∂28-Apr-82 1148 CSD.ULLMAN@SU-SCORE (SuNet) [Betty Scott <CSD.BSCOTT at SU-SCORE>: [MCKENNEY at USC-ISI: Re: Need help again]]
Mail-from: ARPANET host SU-SCORE rcvd at 28-Apr-82 0953-PDT
Date: 28 Apr 1982 0951-PDT
From: Jeffrey D. Ullman <CSD.ULLMAN at SU-SCORE>
Subject: [Betty Scott <CSD.BSCOTT at SU-SCORE>: [MCKENNEY at USC-ISI: Re: Need help again]]
To: equip at SU-SHASTA
Mail-From: CSD.BSCOTT created at 28-Apr-82 09:15:52
Date: 28 Apr 1982 0915-PDT
From: Betty Scott <CSD.BSCOTT at SU-SCORE at Shasta>
Subject: [MCKENNEY at USC-ISI: Re: Need help again]
To: CSD.Ullman at SU-SCORE
Jeff, this is the response to my message to ARPA regarding the status of
the equipment proposal.
Betty
---------------
Mail-from: ARPANET site USC-ISI rcvd at 28-Apr-82 0554-PDT
Date: 28 Apr 1982 0550-PDT
Sender: MCKENNEY at USC-ISI
Subject: Re: Need help again
From: MCKENNEY at USC-ISI at Shasta
To: CSD.BSCOTT at SU-SCORE
Cc: mckenney at USC-ISI
Message-ID: <[USC-ISI]28-Apr-82 05:50:54.MCKENNEY>
In-Reply-To: Your message of 27 Apr 1982 1339-PDT
Betty,
The package is in the program management office for
Arpa Order preparation. I can't give you a definite
date for when it will get to the agent but hopefully
within the next 2-3 weeks.
Dona
-------
-------
∂29-Apr-82 1617 Aaai-Office at SUMEX-AIM Regional AAAI Chapters
Date: 29 Apr 1982 1611-PDT
From: Aaai-Office at SUMEX-AIM
Subject: Regional AAAI Chapters
To: AAAI-Distrib:
Dear Folks,
A Commander G. R. McDevitt of the Naval Ocean Systems Center
in San Diego has purchased a set of AAAI labels and is interested
in contacting all AAAI members in the San Diego with the purpose
of starting up a regional branch of AAAI in that area. I had
asked him for a letter to us declaring what he intended
and the following is his reponse. Since the issue of regional
AAAI chapters has not been fully defined, I believe I need a bit
of guidance from you in responding to the Commander's request
for a San Diego AAAI Chapter. Interesting questions would be raised
with regional chapters. For instance, would they be authorized to
collect dues directly? If so, what percentage of dues would regional
chapters be authorized to retain. Shouldn't regional chapter
heads be blessed by someone in AAAI? Who would do the blessing?
How? etc.
Lou Robinson
(McDevitt's letter follows:)
April 26, 1982
Dear Lou:
Enclosed please find a personal check for $200.00 for an
AAAI membership mailing list.
As we discussed on April 23, 1982, I intend to use the San
Diego portion of that mailing list to establish an AAAI subchapter.
I believe it is imperative that we attempt to make people more aware
of Artificial Intelligence and the influence it will have on their
future. I also believe that establishment of a local AAAI subchapter
will increase membership and support for the AAAI.
Sincerely,
G. R. MCDEVITT
LCDR USN
Naval Ocean Systems
Code 191
San Diego, CA 92152
(end of letter)
Please advise.
-------
∂30-Apr-82 0002 ARK The "It's Over" Party
You and a friend/spouse/lover are invited to The "It's Over" Party by
Arthur Keller, Doug Appelt, Greg Boyd, Joan Feigenbaum, and Alex Strong.
This gala event will be on Saturday, 8 May, from 8 p.m. until dawn at 3400
Kenneth drive, Palo Alto (856-3550), off Greer near Loma Verde. Maps are
posted on most CSD bulletin boards, and extras are by the receptionists
desk in MJH.
This event is intended to celebrate:
Arthur finishing his PASCAL text,
Doug finishing his trans-Sierra trip,
Joan finishing (and, hopefully, passing) the comp,
Alex finishing off his old car, and
Greg finishing off this list.
Come prepared for some serious carousing. We will furnish some above
average beer and goodies. Please don't feel inhibited about bringing your
favorite consumables.
Arthur Keller
∂30-Apr-82 0810 Aaai-Office at SUMEX-AIM AAAI Chapters
Date: 30 Apr 1982 0803-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI Chapters
To: AAAI-Distrib:
4/30/82: Need a response on this one today if convenient
to your schedule, please:
A Commander G. R. McDevitt of the Naval Ocean Systems Center
in San Diego has purchased a set of AAAI labels and is interested
in contacting all AAAI members in the San Diego with the purpose
of starting up a regional branch of AAAI in that area. I had
asked him for a letter to us declaring what he intended
and the following is his reponse. Since the issue of regional
AAAI chapters has not been fully defined, I believe I need a bit
of guidance from you in responding to the Commander's request
for a San Diego AAAI Chapter. Interesting questions would be raised
with regional chapters. For instance, would they be authorized to
collect dues directly? If so, what percentage of dues would regional
chapters be authorized to retain. Shouldn't regional chapter
heads be blessed by someone in AAAI? Who would do the blessing?
How? etc.
Lou Robinson
(McDevitt's letter follows:)
April 26, 1982
Dear Lou:
Enclosed please find a personal check for $200.00 for an
AAAI membership mailing list.
As we discussed on April 23, 1982, I intend to use the San
Diego portion of that mailing list to establish an AAAI subchapter.
I believe it is imperative that we attempt to make people more aware
of Artificial Intelligence and the influence it will have on their
future. I also believe that establishment of a local AAAI subchapter
will increase membership and support for the AAAI.
Sincerely,
G. R. MCDEVITT
LCDR USN
Naval Ocean Systems
Code 191
San Diego, CA 92152
(end of letter)
Please advise.
-------
∂30-Apr-82 0850 Aaai-Office at SUMEX-AIM AAAI Chapters
Date: 30 Apr 1982 0845-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI Chapters
To: AAAI-Distrib:
1 30 Apr BUCHANAN at SUMEX-AIM Re: AAAI Chapters
2 30 Apr To: BUCHANAN Re: AAAI Chapters
1 -- ************************
Date: 30 Apr 1982 0823-PDT
From: BUCHANAN at SUMEX-AIM
Subject: Re: AAAI Chapters
To: Aaai-Office
In-Reply-To: Your message of 30-Apr-82 0803-PDT
Lou,
my recollection was that applications for regional subchapters would
be approved (or not) by the AAAI Council but that they would otherwise
be completely autonomous. We did not want to police their activities,
collect their dues for them, etc. Thus it seems that subchapter dues
are entirely their responsibility and we don't expect a cut.
A San Diego chapter is a good idea, I think.
bgb
p.s. I see a need for keeping a notebook with names of persons
responsible for the subchapters so we don't end up with several
subchapters in one area.
-------
2 -- ************************
Date: 30 Apr 1982 0842-PDT
From: Aaai-Office
Subject: Re: AAAI Chapters
To: BUCHANAN
cc: aaai-office
In response to your message sent 30 Apr 1982 0823-PDT
Bruce,
It seems to me that regional, autonomous sub-chapters handling
AAAI dues for their own ends would defeat the entire purpose
of a national association. As you define it, no dues ever need
come to the AAAI office at all. And if all of AAAI were broken
down into regional chapters, which could very well be the case,
then there would be no dues at all coming to the Hq. The expenses
for publishing the magazine, etc. would be borne by us without
the necessary dues to pay for that publishing and printing
activity. And regional chapters would have no need for a central
office if they could operate totally independently and choose their
own leadership without sanction from the AAAI Executive Council.
Lou
-------
-------
∂30-Apr-82 0855 Aaai-Office at SUMEX-AIM AAAI Chapters
Date: 30 Apr 1982 0848-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI Chapters
To: AAAI-Distrib:
Mail-from: ARPANET host SRI-AI rcvd at 30-Apr-82 0825-PDT
Date: 30 Apr 1982 0826-PDT
From: Grosz at SRI-AI
Subject: Re: AAAI Chapters
To: Aaai-Office at SUMEX-AIM
Lou --
I don't think we should sanction local chapters until after the exec
council has a chance to get together and talk about it. There are
lots of potential problems. SIGART does have some local chaoters --
I don't kow quite what's involved in setting them up, though I have
to check that for soeone else. At the very least there's the
potential here for SIGART/AAAI conflict (about which I have meixed feelings
on several scores). No great disasters will strike in the next four months
withonut a chapter. Given the heated discussion with the medicalr "subgroup",
I'd be inclined to hole off on this.
I don't have time today to go off and think about this much -- certainly
not enough to say anything detailed -- but I would be upset if anything
happened without some prior discussion.
Barbara
-------
-------
∂30-Apr-82 1212 Gene Golub <CSD.GOLUB at SU-SCORE> New appointment
Date: 30 Apr 1982 1201-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: New appointment
To: faculty at SU-SCORE
cc: su-bboards at SU-SCORE
I'm sure you will be pleased to hear that Mike Genesereth has
accepted our offer. He is certainly a wonderful addition to HPP
and the department.
GENE GOLUB
-------
∂30-Apr-82 1706 Aaai-Office at SUMEX-AIM AAAI Chapters
Date: 30 Apr 1982 1520-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI Chapters
To: AAAI-Distrib:
1 30 Apr Bob Engelmore <BENGEL Re: AAAI Chapters
2 30 Apr WEBBER at BBNG Re: Regional AAAI Chapters
1 -- ************************
Mail-from: ARPANET host SRI-KL rcvd at 30-Apr-82 1445-PDT
Date: 30 Apr 1982 1435-PDT
From: Bob Engelmore <BENGELMORE at SRI-KL>
Subject: Re: AAAI Chapters
To: Aaai-Office at SUMEX-AIM
Home Phone: (415) 322-0627
Office Phone: (415) 327-6600
In-Reply-To: Your message of 30-Apr-82 0803-PDT
Lou, regional chapters of AAAI seem like a logical step in the growth of
AAAI, and I support them. As for organizational details, I couldn't
care less.
Bob
-------
2 -- ************************
Mail-from: ARPANET host BBNG rcvd at 30-Apr-82 1505-PDT
Date: 30 Apr 1982 1803-EDT
Sender: WEBBER at BBNG
Subject: Re: Regional AAAI Chapters
From: WEBBER at BBNG
To: Aaai-Office at SUMEX-AIM
Message-ID: <[BBNG]30-Apr-82 18:03:20.WEBBER>
In-Reply-To: Your message of 29 Apr 1982 1611-PDT
Dear Lou,
I agree with Barbara that we should hold off on decisions about
regional chapters until the Exec. Meeting in August. Could we
please try to start that meeting early enough that all orders
of business can be taken care of before the wee hours.
Also, if we could formulate and circulate an agenda before
the meeting (asking for other business people hope to take up)
it would allow us to have fewer surprises at the meeting.
Best regards, Bonnie
-------
∂02-May-82 0920 Aaai-Office at SUMEX-AIM AAAI Chapters
Date: 2 May 1982 0914-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI Chapters
To: AAAI-Distrib:
Mail-from: ARPANET host CMU-10A rcvd at 1-May-82 0937-PDT
Date: 1 May 1982 1235-EDT (Saturday)
From: Herb.Simon at CMU-10A
To: Aaai-Office at SUMEX-AIM
Subject: Re: Regional AAAI Chapters
In-Reply-To: Aaai-Office@SUMEX-AIM's message of 29 Apr 82 18:11-EST
Message-Id: <01May82 123535 HS02@CMU-10A>
Lou, I think regional chapters would be a fine thing, though they
probably should be combined with SIGART chapters where the latter
exist also. I think you misunderstood the dues proposal. I interpreted
it to mean that local dues would be assessed and collected independently,
not that local chapter members would not pay national dues for national
membership. However, given the voices of objection to the proposal that
have been raised, I suppose it is necessary to wait until August to
reach a decision. Meanwhile, someone should collect the provisions
of by-laws of other relevant organizations (e.g., TIMS/ORSA) about
local chapters. HASimon
-------
∂02-May-82 0928 Aaai-Office at SUMEX-AIM AAAI Chapters
Date: 2 May 1982 0924-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI Chapters
To: AAAI-Distrib:
1 1 May Tenenbaum at SRI-KL Re: Regional AAAI Chapters
2 1 May Tenenbaum at SRI-KL Re: AAAI Chapters
3 1 May Tenenbaum at SRI-KL Re: AAAI Chapters
1 -- ************************
Mail-from: ARPANET host SRI-KL rcvd at 1-May-82 1246-PDT
Date: 1 May 1982 1216-PDT
From: Tenenbaum at SRI-KL
Subject: Re: Regional AAAI Chapters
To: Aaai-Office at SUMEX-AIM
In-Reply-To: Your message of 29-Apr-82 1611-PDT
Lou, the best model to use here is the IEEE model of local chapters.
They have an office locally (maybe in Palo Alto, if not in Santa
Clara county somewhere) and will be glad to explain. Basically,
local chapters are authorized to hold meetings, for which they get
a rebate of funds from IEEE headquarters, proportional to attendance
which they can use to sponsor special events (eg. local tutorials).
They can also charge nominal fees for these special events
(eg. 25-40/day) to pay speakers, rent halls etc.
In general, chapters are one of the most valuable services of IEEE,
allowing members in a local region to get to know each other and be able
to afford to bring in interesting speakers from outside.
By the way there are also IEEE distinguished lecturers, who are
appointed for a year, and the IEEE itself subsidizes them to travel
around giving talks to various local chapters.
JMT.
-------
2 -- ************************
Mail-from: ARPANET host SRI-KL rcvd at 1-May-82 1246-PDT
Date: 1 May 1982 1221-PDT
From: Tenenbaum at SRI-KL
Subject: Re: AAAI Chapters
To: Aaai-Office at SUMEX-AIM
In-Reply-To: Your message of 30-Apr-82 0803-PDT
Again, check with IEEE to see how they work it. Indeed they usually
have a local area council that blesses special interest groups on
computers, power, acoustics etc. AI probably isnt ready for such
fragmentation. Presumably, any member in good standing should
be able to start a group. The problem is to set up auditing procedures
etc.
By the way, meetings are usually open to the public, advertised in
mailings to the membership and in local media, and serve as a
good way of recruiting new members (material is always available
at each meeting.)
-------
3 -- ************************
Mail-from: ARPANET host SRI-KL rcvd at 1-May-82 1246-PDT
Date: 1 May 1982 1222-PDT
From: Tenenbaum at SRI-KL
Subject: Re: AAAI Chapters
To: Aaai-Office at SUMEX-AIM
In-Reply-To: Your message of 30-Apr-82 0845-PDT
Local chapters never collect their own dues in IEEE. They get
rebates for meetings based on attendance, which is related to
the number of members they are able to recruit in their area.
-------
-------
∂02-May-82 2247 Keith A. Lantz <CSL.LANTZ at SU-SCORE> Iyer and Frnakel
Date: 2 May 1982 2243-PDT
From: Keith A. Lantz <CSL.LANTZ at SU-SCORE>
Subject: Iyer and Frnakel
To: CSD.GOLUB at SU-SCORE, CSD.ULLMAN at SU-SCORE, CSL.JLH at SU-SCORE,
CSL.LANTZ at SU-SCORE, TOB at SU-AI, rww at SU-AI,
csd.dietterich at SU-SCORE, csd.jf at SU-SCORE, csd.irmgild at SU-SCORE
cc: CSD-Faculty: ;
Both potential faculty recruits will be speaking in special Wednesday
sessions of my distributed systems seminar at 3:15, room and abstracts
to be announced. Iyer on the 5th; Frankel on the 12th. Mark your calendars!
Keith
-------
∂03-May-82 0858 Nancy Dorio <CSD.DORIO at SU-SCORE> pmessage
Date: 3 May 1982 0857-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: pmessage
To: jmc at SU-AI
Stanford-Phone: (415) 497-2273
Please call Tony Bredlow (collect) from Dallas at this number 214 357-8765.
He is a consultant and would like to chat with you pertaining to AI.
-------
∂03-May-82 1150 Nancy Dorio <CSD.DORIO at SU-SCORE> EE 370 Seminar
Date: 3 May 1982 1130-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: EE 370 Seminar
To: colloq: ;
Stanford-Phone: (415) 497-2273
EE 370
SEMINAR
Date: May 3, 1982
Time: 4:15 - 5:05 P.M.
Place: Skilling 191
Speaker: Andrew C. Yao
From: University of California at Berkeley
INFORMATION AND VLSI
←←←←←←←←←←←←←←←←←←←←←
Two people miles apart wish to play some game over a transmission
line with very slow datarate. What is the fastest way for them to finish a
game? We will give precise formulation of this problem, and show how it can
be applied to the speed and area question in VLSI chip design.
Refreshments will be served at 4 P.M.
-------
∂03-May-82 1219 Nancy Dorio <CSD.DORIO at SU-SCORE> pmessage
Date: 3 May 1982 1138-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: pmessage
To: jmc at SU-AI
Stanford-Phone: (415) 497-2273
Joy called from CIT to say that the context advisory meeting will be on
Friday May 21 from 9a.m. - 11 a.m. in Polya 152. Ajenda package will be sent
shortly. The return phone no. is 7-4540.
Nan
-------
∂03-May-82 1301 Keith A. Lantz <CSL.LANTZ at SU-SCORE> Faculty Recruit Talk
Date: 3 May 1982 1257-PDT
From: Keith A. Lantz <CSL.LANTZ at SU-SCORE>
Subject: Faculty Recruit Talk
Sender: CSL.LANTZ at SU-SCORE
To: CSD-Faculty: ;
cc: TOB at SU-AI, rww at SU-AI, csd.dietterich at SU-SCORE, csd.jf at SU-SCORE
CS 319G - Distributed Systems Seminar
Special Session
12 May 1982, 3:15
McCullough 134
THE ARCHITECTURE OF CLOSELY-COUPLED DISTRIBUTED COMPUTERS
AND THEIR LANGUAGE PROCESSORS
James Frankel
Harvard University
ABSTRACT
Designing a closely-coupled distributed computer system would create an
environment that is easily expandable, would eliminate the high communication
costs of a loosely-coupled system, and would provide a great deal of power at a
low cost. This presentation will introduce a system of computers with shared
memory that takes into account dynamic load balancing across the processors,
robustness, and reliability. Attention will be paid to the design of the
network, placement of I/O devices, and caching techniques.
The second part of the presentation will discuss a technique of implementing
language processors (compilers, assemblers) that will run on the closely-
coupled distributed system. The basis of this technique is to process in
parallel various synctactic structures of the language to be compiled. In this
way, the system resembles a data flow computer in which the granularity of the
data is very large.
The final part of the presentation will describe a distributed implementation
of a Pascal compiler on a local network of personal computers. This prototype
demonstrates the feasibility of this approach to distributed programming.
-------
∂03-May-82 1318 Keith A. Lantz <CSL.LANTZ at SU-SCORE> Faculty Recruit Talk: Bala Iyer
Date: 3 May 1982 1311-PDT
From: Keith A. Lantz <CSL.LANTZ at SU-SCORE>
Subject: Faculty Recruit Talk: Bala Iyer
Sender: CSL.LANTZ at SU-SCORE
To: CSD-Faculty: ;
cc: TOB at SU-AI, rww at SU-AI, csd.dietterich at SU-SCORE, csd.jf at SU-SCORE
CS 319G - Distributed Systems Seminar
Special Session
5 May 1982, 3:15
McCullough 134
PERFORMANCE ANALYSIS OF AN INTEGRATED DATA-VOICE CHANNEL
Balakrishna Iyer
Rice University
ABSTRACT
This presentation will address the performance of a communication channel
carrying data and voice traffic. The capacity of the channel is assumed to be
insufficient for both types of traffic during periods of peak demand.
Therefore, data is buffered.
The channel may be modelled as follows: Data is assumed to arrive at a constant
fixed rate. Voice is generated by multiple sources that turn on and off
randomly. The probability that voice occupies the maximum allowable capacity
is the measure of voice performance and the distribution of data buffer lengths
and data waiting time measures data performance. The performance may be
specified explicitly. The 95 percentile of the probability distribution of
buffer length and waiting time is used to produce design curves for an
integrated data voice channel.
Lastly, the performance impact of various system parameters will be discussed.
-------
∂03-May-82 1533 Gene Golub <CSD.GOLUB at SU-SCORE> Lunch on Tuesday
Date: 3 May 1982 1530-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Lunch on Tuesday
To: faculty at SU-SCORE
C Hurd will be joining us for lunch this Tuesday. I hope you
can make it. GENE
-------
∂04-May-82 1022 Aaai-Office at SUMEX-AIM AAAI Chapters
Date: 4 May 1982 1015-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI Chapters
To: AAAI-Distrib:
Mail-from: ARPANET host SRI-AI rcvd at 4-May-82 0843-PDT
Date: 4 May 1982 0836-PDT
From: Nilsson at SRI-AI
Subject: Re: local chapters--WHAT???
To: Feigenbaum at SUMEX-AIM, aaai-office at SUMEX-AIM,
To: nilsson at SRI-AI, newell at CMU-10A
cc: NILSSON
I agree with Ed. I admit to being a bit sleepy during the late
hours of the last excom meeting, but I do remember us all deciding
that local chapters now would be a hassle that we can do without.
We did agree that AAAI would assist local groups get together on
an ad hoc basis (by providing mailing lists, etc.). That's fine.
Let's avoid "official" chapters with bylaws, dues collected by
AAAI, AAAI approved officers and so on. --Nils
-------
-------
∂04-May-82 1025 Aaai-Office at SUMEX-AIM AAAI Chapters
Date: 4 May 1982 1017-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI Chapters
To: AAAI-Distrib:
Date: 2 May 1982 2157-PDT
From: Feigenbaum
Subject: local chapters--WHAT???
To: aaai-office, nilsson@SRI-AI, newell@CMUA
Lou,
I find this correspondence re local chapters a bit bizarre, though perhaps
it is me at fault.
Did we not have a lengthy debate on this subject at a Council meeting,
and VOTE DOWN the idea? Did not the issue arise when Ruven Brooks wanted to
start one in Texas? And did we not say that we did not want those
at this time, because it would introduce too much complexity into an
organization that was trying hard to take its first few breaths?
I hear the voice of Al Newell ringing in my ears re this issue. Al, don't
you remember this Council discussion? Or am I mad?
Ah...well in any event, my view is that we just cant stand to have
the kind of complexity implied by local chapters at this stage in the AAAI's
life.
Ed
-------
-------
∂04-May-82 1028 Aaai-Office at SUMEX-AIM AAAI Chapters
Date: 4 May 1982 1020-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI Chapters
To: AAAI-Distrib:
Mail-from: ARPANET host UTEXAS-20 rcvd at 4-May-82 1003-PDT
Date: 4 May 1982 1201-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Subject: Re: AAAI Chapters
To: Aaai-Office at SUMEX-AIM
cc: ATP.Bledsoe at UTEXAS-20
In-Reply-To: Your message of 30-Apr-82 1003-CDT
Lou, I didn't get to see your message until yesterday. I dont care
which way we go on this one. Woody
-------
-------
∂04-May-82 1055 Gene Golub <CSD.GOLUB at SU-SCORE> Special Guest
Date: 4 May 1982 1051-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Special Guest
To: faculty at SU-SCORE
In addition to C Hurd, Bob Tarjan will be joining us for lunch.
GENE
-------
∂04-May-82 1156 Gene Golub <CSD.GOLUB at SU-SCORE> Summer positions
Date: 4 May 1982 1132-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Summer positions
To: faculty at SU-SCORE
cc: su-bboards at SU-SCORE
DEC is seeking graduate students for a summer internship program.
They are particularly interested in persons who have an interest
in numerical analysis, programming environments, data security,
CPU performance, Decnet/Ethernet, packet voice on ethernet.
Irmgild, my secretary, has the details of the positions. GENE
-------
∂04-May-82 1454 Gene Golub <CSD.GOLUB at SU-SCORE> Tenured faculty meeting
Date: 4 May 1982 1449-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Tenured faculty meeting
To: CSD-Tenured-Faculty: ;
We will meet again on Thursday, May 6 at 2:30 in
the Conference Room next to my office. I want to
discuss the Popek case with you. He is being considered
for a joint CS/EE appointment. I may also have some
further info on salaries for the CSL appointees.
Please remember to reserve the first Thursday of
each month for these tenured faculty meetings.
(Fortunately we only have the June one left.)
GENE
-------
∂04-May-82 1543 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF MAY 10 - 14, 1982
Date: 4 May 1982 1529-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF MAY 10 - 14, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
5/10/82 MJ301 John Reif
Monday Special AFLB Harvard University
2:15 p.m. Seminar ``Flash Sort: A Logarithmic Time Sort''
5/10/82 Math 380C Ron DiPerna
Monday Numerical Analysis University of Wisconsin - Madison
4:15 p.m. Seminar ``Numerical Methods for Conservation Laws''
5/11/82 MJ301 David E. Smith
Tuesday Knowledge Stanford University
2:30 p.m. Representation ``Ordering Conjuncts in Problem Solving''
Group Meeting
5/11/82 Jordan 041 David Harel
Tuesday Computer Science Weizman Institute
4:15 p.m. Colloquium ``A Language for Inductive Definitions with
Applications to Dynamic Logic and Data Base
Queries''
5/13/82 MJ301 L.A.Levin
Thursday AFLB Seminar Boston
12:30 p.m ``Randomness, Information and Complexity''
5/13/82 Jordan 041 To be announced
Thursday SRI Seminar
3:15 p.m.
5/14/82 MJ352 Arthur Keller
Friday Database Research Stanford University
3:15 p.m. Seminar ``Updates to Relational Databases through Views
Involving Joins''
!
-------
∂05-May-82 0946 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Dinner/Lunch for Bala Iyer
Date: 5 May 1982 0833-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Dinner/Lunch for Bala Iyer
To: faculty at SU-SCORE
Bala Iyer will be interviewing today for a faculty position.
Please let me know as soon as possible whether you intend to
join for lunch(faculty club) or dinner.
Irmgild
-------
∂05-May-82 1108 Nancy Dorio <CSD.DORIO at SU-SCORE> telex
Date: 5 May 1982 1054-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: telex
To: jmc at SU-AI
cc: rwf at SU-AI
Stanford-Phone: (415) 497-2273
This telex came in for both of you.
From: Rafael Portencasa, Rector de la Universidad Politichnica de Madrid
A group of professors from this University integrated by Julio Gutieriez, Pedro Gomez, Victoria Rodellar, will be visiting different laboratories
working in Robotics around the U.S. on next May and June. They have sent a
letter describing our objectives. I would appreciate very much from you to
receive them and to have a brief talk with them. They are fully commissioned
to establish contacts with other Univerity-labs.
Thank You Very Much,
Rafael Portaencasa
A hard copy will follow.
-------
∂06-May-82 1012 FWH PV+A Seminar
To: "@SEM.DIS[SEM,VER]" at SU-AI
PROGRAM VERIFICATION AND ANALYSIS SEMINAR
PLACE: ERL 401
TIME: 2:30 p.m., Tuesday, May 11
SPEAKER: J. W. de Bakker,
Free University and Mathematisch Centrum, Amsterdam
TITLE: Using denotational semantics to justify proof methods
∂07-May-82 0909 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Memo to Dean Wessells
Date: 7 May 1982 0855-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Memo to Dean Wessells
To: faculty at SU-SCORE
cc: CSD.ADMIN at SU-SCORE
You can read the latest (revised) copy of the memo to Dean Wessells
on "Six year faculty plan" in my directory under DEAN.MSS.
A paragraph has been added to page 4.
Irmgild
-------
∂07-May-82 1041 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Memo to Dean Wessells
Date: 7 May 1982 1028-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Memo to Dean Wessells
To: faculty at SU-SCORE
cc: csd.admin at SU-SCORE
Unfortunately, most of you cannot read the memo in my files. I have put
it into public: wessells.memo
Sorry for the inconvenience.
Irmgild
-------
∂07-May-82 1206 Ichiki at SRI-AI TINLUNCH meeting 5/13
Date: 7 May 1982 1205-PDT
From: Ichiki at SRI-AI
Subject: TINLUNCH meeting 5/13
To: tinlunchers:
Bob Moore will be presenting:
THE INTERPRETATION OF ADJECTIVAL COMPARATIVES
by Ewan Klein (will not be present)
at the TINLUNCH meeting Thursday, May 13th, in conference room EK242.
Time: 12:00 - 1:00
-------
∂07-May-82 1437 TW via Ethernet host 50#105 AI qual
To: "@AIFAC.DIS[1,TW]" at SU-AI
There are only two students taking the AI qual this year. Therefore
we will not need to use outside examiners. If we are all available
at the same time, we can do the two in parallel, or if not we can
sequence them. The best date seems to be Friday the 21. Can you
let me know what times you are busy on that day. Please respond
soon so I can let the students know the time. Thanks -t
∂10-May-82 1016 Gene Golub <CSD.GOLUB at SU-SCORE> Lunch Discussion
Date: 10 May 1982 1014-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Lunch Discussion
To: Faculty at SU-SCORE
I have received a memo from Edwin Good asking our opinion
on proposed changes in the length of academic terms. I will have
this memo circulated and we can discuss it at our lunch on Tuesday.
GENE
-------
∂10-May-82 1045 LOUNGO at RUTGERS Technical Report Mailing
Date: 10 May 1982 1338-EDT
From: LOUNGO at RUTGERS
Subject: Technical Report Mailing
To: erman at USC-ISIB, shortliffe at SUMEX-AIM, dreifus at WHARTON-10,
csd.bennett at SU-SCORE, mittal at RUTGERS, chandrasekaran at RUTGERS,
jsmith at RUTGERS, deolankar at RUTGERS, wilkins at SRI-KL, bruce at BBNA,
webber at BBNC, friedland at SUMEX-AIM, plondon at USC-ISIB, erm at MIT-AI,
rdg at SU-AI, pressburger at KESTREL, csd.gardner at SU-SCORE,
fagan at SUMEX-AIM, fikes at PARC-MAXC, jmc at SU-AI, clancey at SUMEX-AIM,
krd at MIT-AI, hamilton.es at PARC-MAXC, amsler at SRI-AI,
chinguyen.es at PARC-MAXC, lisa at UTEXAS-11, kwh at MIT-AI,
utgoff at RUTGERS, turock at RUTGERS, ecg.rich at DEC-MARLBORO
cc: loungo at RUTGERS, petty at RUTGERS
Here is a list of our newest technical reports.
The abstracts for these are available for access via FTP with user account
<anonymous> with any password. The file name is:
<library>tecrpts-online.doc
If you wish to order copies of any of these reports please send mail via the
ARPANET to LOUNGO@RUTGERS or PETTY@RUTGERS. Thank you!!
PUBLICATION ORDER FORM
RUTGERS UNIVERSITY
Computer Science Department
New Brunswick, New Jersey 08903
April, 1982
The Department of Computer Science at Rutgers University, New Brunswick, is
pleased to announce the availability of new Technical Reports. An abstract of
each is attached.
Use this form to order the announced publications. Due to limited quantities,
we will fill orders on a first-come, first-served basis.
To order, please check the box next to the title of the publication(s) that you
are interested in. Then detach this sheet, refold so that our address is
facing out, attach a first-class stamp, and mail.
[ ] DCS-TR-110 SOFTWARE DESIGN ISSUES IN THE ARCHITECTURE AND IMPLEMENTATION
OF DISTRIBUTED TEXT EDITORS, Robert N. Goldberg, January 1982.
[ ] DCS-TR-111 NYSTROM'S INTERPOLATION FORMULA IN THE SOLUTION OF SINGULAR
INTEGRAL EQUATIONS DISCRETIZED BY THE GAUSS-JACOBI QUADRATURE,
Apostolos Gerasoulis, March 1982.
[ ] DCS-TR-114 THE CONTROL OF INFERENCING IN NATURAL LANGUAGE UNDERSTANDING,
Abe Lockman and David Klappholz, March 1982.
[ ] LRP-TR-13 A COMPUTATIONAL THEORY OF LEGAL ARGUMENT, L. Thorne McCarty and
N.S. Sridharan, January 1982.
[ ] LCSR-TR-8 FINITE DIFFERENCING OF COMPUTABLE EXPRESSIONS, Robert Paige and
Shaye Koenig, (revised) December 1981.
[ ] LCSR-TR-16 SYSTEM DESIGN AND PROGRAMMING METHODOLOGY FOR A CAM-BASED
GENERAL-PURPOSE COMPUTER, J. Storrs Hall, July 1981.
[ ] LCSR-TR-25 AI RESEARCH AT RUTGERS, Tom M. Mitchell, March 1982.
[ ] LCSR-TR-26 SEMANTIC INTEGRITY DEPENDENCIES AND DELAYED INTEGRITY CHECKING,
Gilles M.E. Lafue, March 1982.
[ ] LCSR-TR-27 TOWARD COMBINING EMPIRICAL AND ANALYTICAL METHODS FOR INFERRING
HEURISTICS, Tom M. Mitchell, March 1982.
[ ] CBM-TM-93 AIMDS: APPLICATIONS AND PERFORMANCE ENHANCEMENTS, Natesa
S. Sridharan, March 1982.
[ ] CBM-TR-113 DESIGNING CONSISTENT KNOWLEDGE BASES: AN APPROACH TO EXPERT
KNOWLEDGE ACQUISITION, Peter Politakis and Sholom M. Weiss,
March 1980.
[ ] CBM-TR-123 AN INTERACTIVE PLANNER THAT CREATES A STRUCTURED, ANNOTATED
TRACE OF ITS OPERATION, John L. Bresina, December 1981.
[ ] CBM-TR-126 EXPERT BEHAVIOR AND PROBLEM REPRESENTATIONS, Saul Amarel, March
1982.
[ ] CBM-TR-127 PLAN FORMATION IN LARGE, REALISTIC DOMAINS, N.S. Sridharan and
J.L. Bresina, March 1982.
-------
∂10-May-82 1045 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF MAY 10 - 14, 1982
Date: 10 May 1982 1032-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: ADDENDUM TO COLLOQUIUM NOTICE WEEK OF MAY 10 - 14, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Medical Computing Journal Club - Tuesday, May 11, at 1:30 p.m. in MJ301.
John Kunz, from Stanford University, will speak on "Hidden Ethical Issues
in Clinical Decision Analysis."
Program Verification and Analysis Seminar - Tuesday, May 11, at 2:30 p.m. in
ERL401. J.W. de Bakker, from Mathematisch Centrum, Amsterdam, will speak on
"Using Denotational Semantics to Justify Proof Methods."
SRI Seminar - Thursday, May 13, at 3:15 p.m. in Jordan 041. Robert C. Moore,
from SRI International, will speak on "The Role of Logic in Knowledge
Representation and Commonsense Reasoning."
-------
∂11-May-82 1131 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF MAY 17 - 21, 1982
Date: 11 May 1982 1109-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF MAY 17 - 21, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
5/17/82 Math 380C Axel Ruhe
Monday Numerical Analysis University of Umea, Sweden
4:15 p.m. Seminar ``The Two-sided Arnoldi Algorithm for
Nonsymmetric Eigenvalue Problems''
5/18/82 MJ301 Mr. Greg Cooper
Tuesday Medical Computing Stanford University
1:30 p.m. Journal Club ``Recent Articles of Interest''
5/18/82 MJ301 Dr. Ted Shortliffe
Tuesday Knowledge Stanford University
2:30 p.m. Representation ``Knowledge Acquisition for MYCIN: Reflections on
Group Meeting the Early Days''
5/18/82 Jordan 041 Daniel Bobrow
Tuesday Computer Science Xerox Parc
4:15p.m. Colloquium ``Loops: Introducing Object and Data Oriented
Programming into Lisp''
5/20/82 MJ301 Mark Wegman
Thursday AFLB Seminar Yorktown Heights
12:30 p.m ``Summarizing Graphs by Regular Expressions''
5/20/82 Jordan 041 Jerry Hobbs
Thursday SRI Seminar SRI International
3:15 p.m. ``Natural Language Research at SRI''
5/21/82 Art Building Room 4 Aaron Marcus
Friday Special Seminar Lawrence Berkeley Laboratory
3:00 p.m. ``The Three Faces of the Future: The Intersection
between Computer Science and Graphic Science''
5/21/82 MJ352 Bob Paige
Friday Database Research Stanford University
3:15 p.m. Seminar ``Application of Finite Differencing to
Databases''
!
-------
∂12-May-82 0849 Gene Golub <CSD.GOLUB at SU-SCORE> Interviewee
Date: 12 May 1982 0844-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Interviewee
To: Faculty at SU-SCORE
cc: RECRUITMENT: ;
Just a reminder that James Frankel whom we are seriously
considering for a position will be visiting today. He speaks
at 3:15. If anyone wants to join us for dinner, please let
me or Irmgild know. GENE
-------
∂12-May-82 0812 MAILER failed mail returned
In processing the following command:
MAIL csd.dorio%%score Didn't anyone tell you I'm in Europe till June 20.
The following message was unsent because of a command error:
∂12-May-82 0812 JMC
%score Didn't anyone tell you I'm in Europe till June 20.
∂12-May-82 1315 Nancy Dorio <CSD.DORIO at SU-SCORE>
Date: 12 May 1982 1312-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
To: JMC at SU-AI
Stanford-Phone: (415) 497-2273
In-Reply-To: Your message of 12-May-82 1244-PDT
No , I was not informed. Thanks for the info. You are a gem! I hope you enjoy
Europe. Please send me a postcard if it is convenient.
Nan
-------
∂12-May-82 1512 Gene Golub <CSD.GOLUB at SU-SCORE> Discussion of Comprehensive
Date: 12 May 1982 1506-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Discussion of Comprehensive
To: Faculty at SU-SCORE
cc: Weening at SU-SCORE, Trickey at SU-SCORE
At next week's Tuesday lunch there will be a discussion
of the Comprehensive. I will be gone so Jeff Ullman will
be in the chair. It is particularly important for recent
chairmen of the Comp committee to attend.
The present system has been in place for some years. Perhaps
it is necessary to think of alternative forms of the exam and/or
our educational policy .
GENE
-------
∂12-May-82 1650 Hobbs at SRI-AI Tinlunch next week
Date: 12 May 1982 1650-PDT
From: Hobbs at SRI-AI
Subject: Tinlunch next week
To: tinlunchers:
The paper for tinlunch next week, Thursday, May 20, is "Discourse Constraints
on Dative Movement", by Nomi Erteschik-Shir, in Syntax and Semantics 12.
Nomi will be at the meeting. She is a linguist at Ben Gurion University
of the Negev, Israel, and is visiting Stanford this year. Copies of the
paper should be on Barbara's file cabinet late tomorrow morning.
-- Jerry
-------
∂12-May-82 1652 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Statistics on Comprehensive
Date: 12 May 1982 1647-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Statistics on Comprehensive
To: faculty at SU-SCORE
cc: csd.armer at SU-SCORE
Statistics on the comprehensive are as follows:
28 CSD students and one none-CSD student took the exam.
2 Ph.D. students passed the exam at the Ph.D. level. One was a first year
student and one was a second year student.
3 Ph.D. students passed the exam at the Ph.D. level conditionally. All were
first year students.
8 first year Ph.D. students got a Master's level pass
3 second year Ph.D. students got a Master's level pass.
3 first year Masters students got a Master's level pass.
5 second year Masters students got a Master's level pass.
1 first year Ph.D. student failed the test.
2 first year Masters student failed the test.
1 second year Masters student failed the test. (It was the second attempt.)
Gene Golub
-------
∂12-May-82 2102 CLT susie
i talked to her tonight, they are fine, still unpacking boxes.
she seemed in better spirits than on friday.
there new number is 493-8817, in case you want to call.
i think susie would like that.
∂13-May-82 0806 JJW Summer plans
I would like to spend some time at home, maybe two or three weeks at the
end of June and early July. After that, I plan to be here the rest of
the summer.
Joe
OK, I'll hope to see you and find out your state of mind around
June 1j0xxx 10 when I'll be back for a few days. How is the EKL
manual coming?
∂13-May-82 0830 FFL
To: JMC, FFL
Your trip to Dallas has been canceled by III.
∂13-May-82 1947 CLT
Below is the message I send Crispin and his reply.
Don't know if its of any use, or if I explained the
problem well, but here it is.
-------
HELP?!
Do you have any ideas to help JMC? He is in LONDON trying to
use arpanet to reach SAIL, but the LONDON end has switched to
new ARPA protocol and it seems he has to go through USC-ISID.
To make a long story short, it seems he hasn't figured out how to
send control characters. LONDON has a TOPS-20 I gather?
See msg below!!!
∂12-May-82 1247 JMC via USC-ISID
I can now log in from London and will check computer mail. However, ...
∂12-May-82 1248 JMC via USC-ISID
I can't yet send control characters. I have to go through ISID, so ...
∂12-May-82 1250 JMC via USC-ISID
I need to know how to make TOPS-20 TELNET send control characters, ...
∂12-May-82 1251 JMC via USC-ISID
preferably without having to send them from London.
-------
∂13-May-82 0817 Mark Crispin Re: HELP?!
To start, JMC should use "TN" instead of TELNET. He should send
the control characters from LONDON; it's much easier to figure
out direct pass-through than various kludges on the way. I won't
be back in California until late Friday; he could try calling me
at (415) 968-1052 during reasonable California hours.
-------
∂14-May-82 1943 JDH programming project
I have here a form which says "I have supervised the Comprehensive Examination
Programming Project of: <blank for my name>
In my opinion it meets the criteria for this portion of the Comprehensive
Examination. <signiture required>
I should have given this to you before you left but I don't believe you need the
exact same form. I need this before I can turn in the project and I should
turn it in before June or whenever you return to Stanford. In any case I'd like
some feedback on the state of affairs in this matter.
John Hobby
∂15-May-82 2200 David R. Cheriton <CSL.DRC at SU-SCORE> Systems Qual
Date: 15 May 1982 2156-PDT
From: David R. Cheriton <CSL.DRC at SU-SCORE>
Subject: Systems Qual
To: csd.faculty at SU-SCORE
cc: trickey at SU-SCORE, hennessy at SU-SCORE
Anticipating some discussion of the results of the systems qual of May 15th
in which only 4 out of 9 candidates passed, I would like to comment:
1. I think the committee tried very hard to fairly evaluate each candidate
with the genuine hope of a pass being justified in each case. There was in
my perception (and in the scores) a substantial split between those who
passed and those who failed.
2. Special consideration was given to those that did not clearly pass.
I find it much easier to pass people than fail so the decision to fail
someone was only taken when considerable reluctance.
3. I believe the results are indicative in part of our lack of emphasis
on the value of courses in the Ph.D. program.
4. Although this committee was acutely aware of decisions it was making
that would affect a candidate's continuation in the Ph.D. program,
I think both the comp. and qual committees should be allowed to
judge candidates more impartially. That is, the decision as to whether
a candidate is allowed to continue in the program should be officially
made by the departmnt, not by a committee that is simply trying to pass
or fail a candidate on one exam.
P.S. These are my opinions, not necessarily the committee's.
-------
∂17-May-82 0015 CLT
Would you like to go to carmel valley for the
annual Julius Baker recital on July 5 (a Monday?)
∂17-May-82 1002 FFL
To: JMC, FFL
The office downstairs is asking for your textbooks for next year's CS206.
They presently have listed the Maclisp Manuals, Vols. l-3 (set) from
MIT. Are there changes or additions. Want to know by the 22nd.
Ask RPG whether there is anything different with respect to
Maclisp manuals, i.e. is there a new edition? LISP: Programming
and Proving may or may not have a new edition.
∂17-May-82 1056 Paul Armer <CSD.ARMER at SU-SCORE> Re: Systems Qual
Date: 17 May 1982 1051-PDT
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: Re: Systems Qual
To: CSL.DRC at SU-SCORE, csd.faculty at SU-SCORE
cc: trickey at SU-SCORE, hennessy at SU-SCORE
Stanford-Phone: (415) 497-2274
In-Reply-To: Your message of 15-May-82 2156-PDT
I think it is appropriate to expand on the statistics pertinent to point
4 of David's message about the systems qual; that is two students who
failed thereby are in trouble with our "Normal Progress Guidelines"
which call for passing the qual by the end of the third year. One
student who failed was a third year student and another was a fourth
year student who had "clock off" for six months.
PAUL
-------
∂18-May-82 0932 David Warren <WARREN at SRI-AI> Re: for Peter Szeredi
Date: 18 May 1982 0925-PDT
From: David Warren <WARREN at SRI-AI>
Subject: Re: for Peter Szeredi
To: JMC at SU-AI
cc: WARREN at SRI-AI
In-Reply-To: Your message of 18-May-82 0841-PDT
To Peter Szeredi,
Sorry for the delay in replying - I've been busy with other
things and the net was down the few times I tried. Will try
again NOW.
To John McCarthy,
Hope your visit to IC is proving fruitful.
David.
-------
∂18-May-82 1442 CLT Logic Seminar
To: "@LOGIC.DIS[1,CLT]" at SU-AI
Speaker: Prof. Jonathan Stavi
Univ. of Bar-Ilan (Israel) and UCLA
Title: 1. On the expressive power of Ramsey-type quantifiers.
2. Group-theoretic problems suggested by Boolean powers.
(two shorter talks)
Place: Room 383P Mathematics
Time: Friday May 21 4:15-5:30 pm.
∂19-May-82 0953 Nancy Dorio <CSD.DORIO at SU-SCORE> SRI SEMINAR ROOM CHANGE
Date: 19 May 1982 0943-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: SRI SEMINAR ROOM CHANGE
To: colloq: ;
Stanford-Phone: (415) 497-2273
Please note the new room for the SRI Seminars. It will now be held in 260 - 268
effective this Thursday.
-------
∂19-May-82 1023 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF MAY 24 - 28, 1982
Date: 19 May 1982 0958-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF MAY 24 - 28, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
5/24/82 Math 380C Eitan Tadmor
Monday Numerical Analysis California Institute of Technology
4:15 p.m. Seminar ``Different Time Scales in Hyperbolic Systems''
5/25/82 MJ301 Mr. Randy Teach
Tuesday Medical Computing Stanford School of Education
1:30 p.m. Journal Club ``Recent Articles of Interest''
5/25/82 MJ301 Sam Holtzman
Tuesday Knowledge Engineering - Economic Systems
2:30 p.m. Representation ``Representing Patients' Preferences''
Group Meeting
5/25/82 Jordan 041 Alberto Sangiovanni-Vincentelli
Tuesday Computer Science U.C. Berkeley
4:15 p.m. Colloquium ``Algorithmic Aspects of CAD of Integrated
Circuits''
5/27/82 MJ301 Richard Karp
Thursday AFLB U.C. Berkeley
12:30 p.m To be announced
5/27/82 260-268 Stan Rosenschein
Thursday SRI Seminar SRI International
3:15 p.m. ``Paradigms for Robot Problem-Solving''
5/28/82 MJ352 Gabi Kuper
Friday Database Research Stanford University
3:15 p.m. Seminar ``System/U: A Database System Based on the
Universal Relation Assumption''
!
-------
∂19-May-82 1037 FFL CLARK VISIT
To: JMC, FFL
To pay his expenses (no salary/honorarium) it is essential that Dr. Clark have
a B-1 visa (or a J-1). B-2 does not allow payment of any kind.
Please be sure he uses a US flag carrier or fare is not allowable.
In case you wish to explain to Dr. Clark, per diem in Palo Alto is $75. Room
charge for one at the Tiki Motel is $45 plus tax; for two $49 plus tax. If you
(or he) wish, he can keep all hotel and meal receipts to be reimbursed in that
manner rather than by per diem.
I have made a room reservation for him at the Tiki Motel, starting July ll
through July 31. Please let me know if these dates are OK. The Department will
be liable for hi arrival on July 11. (The Faculty Club is filled by conferences
through July.)
I have requested $1,238 from ARPA for the fare; $2,100 for expenses. $1,238 is
standard coach fare. Apex is $1,070. The request will go through the ONR
representative on campus, Robin Simpson. I have told him that Dr. Clark is an
eminent researcher in Formal Reasoning and that you wish to continue work which
you have begun with him in London this spring.
You have done just right with regard to Clark invitation. You have given the
right reason for the invitation. He mentioned having B-1, but I'll
check again. You understand that we're not asking ARPA for more
money but merely for permission to spend money they have already
given us for this purpose.
∂19-May-82 1426 FFL
To: JMC, FFL
Is Bill Gosper's computer usage account to be charged to your ARPA account?
Beginning April 1, it is costing you $175. Also Robert Wolf's charges are
$54.94; Les Earnest's $82.81; Pat Hayes' $18.22. And should Porto's files
be canceled?
They are presently costing $89.59.
Ask Gosper to reduce files and be careful of login hours.
Tell Robert Wolf and Les Earnest I can't pay for them.
Continue Pat Hayes as is, but ask him if he still needs it.
Cancel Porto files unless Carolyn knows a reason for keepingthem.
∂19-May-82 2218 Gene Golub <CSD.GOLUB at SU-SCORE> Good News
Date: 19 May 1982 2214-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Good News
To: faculty at SU-SCORE
We have good news. Andy Yao will be rejoining the faculty as of
Sept 1983. It'll be good to have him back! GENE
-------
∂20-May-82 0838 EJS NEWDD
well, durring Roy's last week here I tried to make him feel good: still
the last thing he did before he left is reverse power on NEWDD; it blew
a few VERY HARD TO GET CHIPS, I got them sampled out of Maine, 1.5 weeks .
Then, for the first time at the begining of May I got to make the serious
design corrections that Roy would not alow me to make...I hope to finish it
this week. (Roy threatend me on several occations, once, when he was ripping
out wires with a pair of pliers durring down time (a buss terminator which worked)
he ripped the NEWDD out of my hands I began bleeding.. he said he would hit
me over the head with it if I tried to stop him......He took equipment when
he left, he was not asked to turn in his keys for yet another month!
(a time in which many things disapeared from the building) I THINK THAT
THE WAY HE WAS DELT WITH MANAGERIALLY slowed down NEWDD BY AT LEAST 3 MONTHS
as well as being very costly for other reasons.
AVB is a resource around here, but he is never told to account for the
chips he borrows...people now want him gone. I think that he should be
encouraged to act responsibly and encouraged to stay involved here ( he
knows about and helps people with many things)...
I am actually a student at COINS at Umass Amherst ( have MS going for PHD)
I am going to finish my degree here for TOB. My topic is: The visual human
interface; representaion and learning.
I wonder if it might be worth my while to transfer here; could you give me
some sugestion of how (or if ) that could be done easily?
Talk to TOB and with me after I return June 20. I can't do anything
from England through a knothole.
∂20-May-82 0926 JK
∂20-May-82 0924 JMC via USC-ISID
Have you thought about attending NY Automatic Deduction Workshop?
-----------
O.k. I will talk about this with fran - can you send her a message
about this too, in case some sort of authorization is needed?
I am presently implementing meta theory with strong re-writing
routines.
∂20-May-82 1647 FFL
To: JMC, FFL
Just to keep you informed, I am planning to take my vacation between
June 23 and July l9.
∂21-May-82 0854 Gene Golub <CSD.GOLUB at SU-SCORE> Lunch next tuesday
Date: 21 May 1982 0829-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Lunch next tuesday
To: faculty at SU-SCORE
cc: weening at SU-SCORE, trickey at SU-SCORE
Bob Spinrad will be at our lunch on Tuesday. I think it is
important for him to hear from our faculty since he is now
the chairman of the Advisory Committee. GENE
-------
∂21-May-82 0908 Nilsson at SRI-AI Tinlunch
Date: 21 May 1982 0900-PDT
From: Nilsson at SRI-AI
Subject: Tinlunch
To: tinlunchers:
The TINLUNCH paper for Thursday, May 27, 1982 will be "Qualitative
Process Theory" by Kenneth D. Forbus, MIT. (MIT AI Memo No. 664,
Feb. 1982.) Copies are now on Barbara Grosz's file cabinet. (Let
me know if we run out of copies.) We'll meet either in EK242 or
outside by the flagpole--depending on weather. Forbus won't be
here--I'll lead the discussion. -Nils
-------
∂21-May-82 0942 TOB
John
I will call him.
Does this message mean that you are back?
Tom
∂21-May-82 0924 John McCarthy <JMC at S1-A> Jim Sweeney and the Energy Institute
Date: 21 May 1982 0916-PDT
From: John McCarthy <JMC at S1-A>
Subject: Jim Sweeney and the Energy Institute
To: tob at SU-AI
CC: ffl at SU-AI
I have received a questionnaire from the Stanford Energy Institute
with the end of including me again in a new version of their
booklet of research in energy that Stanford can do. The main reason
they ask is the old project aimed at remote and automated mining that
I had Jim Hieronymus work on some years ago. The energy insitute
financed the preparation of a proposal that never received support.
There has recently been renewed interest on the part of the Government.
Anyway I suggest you call Sweeney and see if you are interested in having
the robotics lab included in his booklet. I don't want to be included
myself.
Fran knows about the questionnaires.
∂21-May-82 1152 Gene Golub <CSD.GOLUB at SU-SCORE>
Date: 21 May 1982 1011-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
To: JMC at SU-AI
In-Reply-To: Your message of 21-May-82 0956-PDT
Thanks for your comment. Maybe you should work up a position
paper why you feel so strongly about systems. I think we
would all like to hear your thoughts.
I hope you are enjoying your sabbatical. GENE
Ps Mayr,Genesereth and Yao have all accepted our offer for next
year.
PPS Where are you?
-------
∂21-May-82 1155 Tim Eldredge <g.eldre at SU-SCORE>
Date: 21 May 1982 1034-PDT
From: Tim Eldredge <g.eldre at SU-SCORE>
To: JMC at SU-AI
In-Reply-To: Your message of 21-May-82 0926-PDT
I don't know how to answser that John. If you saw me logged in on the
Dialnet port then that was due to the fact that that particular TTY line
is now attached to one of the new 1200 baud vadic modems, and I was calling
in (not using Dialnet). The TOPS20 code almost works, but it has some
bugs owning to the monitors use of extended addressing which Mark did not
take fully into account. It could me be made to work, but it might involve
extensive changes.
-------
∂21-May-82 1402 Gene Golub <CSD.GOLUB at SU-SCORE> New Phone Number
Date: 21 May 1982 1359-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: New Phone Number
To: faculty at SU-SCORE
cc: admin at SU-SCORE
My new phone number is 7-9745. You can also reach me at the
old number 7-3124. GENE
-------
∂21-May-82 1627 Carolyn Tajnai <CSD.TAJNAI at SU-SCORE> Forum Update
Date: 21 May 1982 1532-PDT
From: Carolyn Tajnai <CSD.TAJNAI at SU-SCORE>
Subject: Forum Update
To: CSD-Faculty: ;
As of July 1 the Forum will have 35 members.
Ed McCluskey brought NCR back in.
Dennis Allison recruited Digital Research
and
Dick Wexelblatt brought ITT in. Dick was the Sperry rep to the Forum
(Sperry has since dropped out) and is now working for ITT. He
called last month to say he missed the Forum. Dennis Allison
had been working on ITT so he will get the Finder's fee.
So our Forum is growing!! Congratulations to Ed and Dennis.
We have about 5 more good prospects; the membership could reach 40 by
the next meeting -- February 3/4, 1983. That is if we continue to do
our jobs and keep the current members in.
I'll be on vacation from tomorrow through June 4. Will return to the
office on Monday, June 7. The database file is up-to-date if you need
information on membership.
<csl>Forum.dat
Carolyn
-------
∂21-May-82 1645 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Advising
Date: 21 May 1982 1637-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Advising
To: faculty at SU-SCORE
cc: csd.armer at SU-SCORE, csd.trickey at SU-SCORE, csd.weening at SU-SCORE
From our general discussion of the comprehensive and the educational policy
of the department, it appears to me that student advising has not been very
satisfactory. This seems to be because the faculty is not always
accessible or knowledgeable and the students are sometimes hesitant or
possibly uninterested in being advised.
PLAN: Each year a Graduate Advisor is designated for the entire class of
entering Ph.D. students. It is his/her obligation to watch over each
student until that student enters candidacy. The student must have the
signature of the Graduate Advisor in order to register. The Advisor would
have the position for at most two years and would not have any other major
committee obligations.
I think this would give the Department and the students a better understanding
of each student's progress. The Advisor would monitor each student by
examining not only the students grades but the quality and breadth of their
education.
Any comments?
GENE
-------
Graduate advisors sound like a good idea. However, if the Advisor had firm
tastes in computer science, the advice given might oscillate.
I have no objections to systems as a subject, but emphasizing systems in faculty
appointements has been chasing a will-o-the-wisp in the past and will probably
be the same in the future.
∂21-May-82 2033 pratt@Shasta at Sumex-Aim Re: Advising
Mail-from: ARPANET site SUMEX-AIM rcvd at 21-May-82 1848-PDT
Mail-from: SU-NET host SU-SHASTA rcvd at 21-May-82 1847-PDT
Date: 21 May 1982 18:40:08-PDT (Friday)
From: pratt@Shasta at Sumex-Aim
Subject: Re: Advising
To: CSD.IRMGILD at SU-Score, faculty at SU-Score
Cc: csd.armer at SU-Score, csd.trickey at SU-Score, csd.weening at SU-Score
Comment: Gene's scheme has the drawback that there is a giant continuity
break between advisors. A better scheme from the continuity point of view
is to assign each student a fixed advisor (better called a counsellor to
avoid confusion with "thesis advisor") for the duration of that student's
stay here.
One positive aspect of Gene's scheme is that the current counsellor would
become quite an expert in counselling. However I think it is a good thing
for all of us to get to know how the department does, and should, run, and that
we should all become permanent experts in counselling. With a few students
each, it only takes a couple of years to get good at counselling.
-v
∂21-May-82 2103 CLT
Mom and Harold say ``Hello''. They stopped for a couple days on
their way back from Mazatlan. We went to the city to see an
Ansel Adams retrospective.
∂21-May-82 2106 CLT SEMINAR IN LOGIC AND FOUNDATIONS OF MATHEMATICS
To: "@LOGIC.DIS[1,CLT]" at SU-AI
Speaker: Bob Wolf
Title: Strongly determined and almost-Borel games
Time: Monday May 24 at 4:15-5:30 pm.
Place: Math Fac Lounge (Room 383N)
Final talk will be Friday June 4 by Wilfried Sieg
∂22-May-82 1136 Gene Golub <CSD.GOLUB at SU-SCORE> Lectures by Andy Yao
Date: 22 May 1982 1134-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Lectures by Andy Yao
To: su-bboards at SU-SCORE
cc: faculty at SU-SCORE
Although Andy Yao will not be in residence during the next academic
year, he will be leading a seminar in the fall and another quarter.
He will also have an office in the department this next year.
It will be good to see him on a regular basis again.
Gene
-------
∂23-May-82 0920 CLT
Sarah would be pleased if you were to call her.
She's thinking about summer plans, and would like
to discuss things with you. She says mornings between
8 and 10 (except Tu-Th) are good times to find her in.
∂24-May-82 0733 PJH via ROCHESTER formalisers in britain
hi. I hope iou enjoy Imperial. I cant think of anyone in Britain doing
formalisation which I was interested in. I gather there are some at Imperial, and Bundy at Edinburgh continues to axiomatise mechanics, but
both of these groups use Prolog which distorts their formasrmalisations(sic)
too far from the intuitioon for me to follow easily .
This probably sounds sourgrapeish, but i could never get interest in
naive physics in the UK, which is one of the reasons I left.
Look forward to seeing you in July
pat
∂24-May-82 0917 FFL
To: JMC, FFL
Betty has arranged for secretarial coverage for you.
I hope that whoever Betty gets will at least know how to use SAIL.
∂24-May-82 0940 CLT seminar requirement
please send message (saying I have passed the seminar requirement)
to Marilynn Walker MEW@SAIL or CSD.MWALKER@SCORE
I imagine any of the following seminars would fill the requirement:
(1) `Reasoning about programs'
Stanford LOGIC Colloquium Nov 1979
(2) `Formal systems for Reasoning about programs'
Uppsala June 1981
(3) `Better Proof Theory'
Stanford Foundations of Mathematic Seminar - Winter 1982
Thanks
Carolyn Talcott has given at least three seminars, each of which meets
the requirement.
∂24-May-82 1223 Jake Brown <CSD.JAKE at SU-SCORE> Comp Meeting June 1st
Date: 24 May 1982 1153-PDT
From: Jake Brown <CSD.JAKE at SU-SCORE>
Subject: Comp Meeting June 1st
To: Comp-committee: ;
Stanford-Phone: (415) 497-4879
A Comprehensive Meeting is scheduled for Tuesday, June 1, in the
chairman's conference room at 12:00. Starting at 12:30, the students
who failed the examination for the second time and their advisors
will join the meeting. Each will be spaced at 10 minute intervals.
Please note this is a preliminary meeting. There may be a need for a
longer meeting for certain individuals. Below is the time schedule:
12:30 Kenneth Brooks
Edward Feigenbaum
12:40 Linda DeMichiel
Brian Ried
12:50 Joan Feigenbaum
Jeffrey Ullman
1:00 Andrew Shore
David Cheriton
1:10 Yorram Moses
John McCarthy
1:20 Hyekyung Cha
Paul Armer
1:30 Derick Lopez
David Cheriton
If you have any questions, please call or mail to Jake Brown at 7-4879
or CSD.JAKE@SCORE.
-------
∂24-May-82 1343 Arthur Keller <ARK at SU-AI> Black Friday Meeting June 1
Mail-from: ARPANET site SU-AI rcvd at 24-May-82 1339-PDT
Date: 24 May 1982 1337-PDT
From: Arthur Keller <ARK at SU-AI>
Subject: Black Friday Meeting June 1
To: Faculty at SU-SCORE
CC: CSD.Weening at SU-SCORE, CSD.Trickey at SU-SCORE,
CSD.Armer at SU-SCORE, CSD.MWalker at SU-SCORE,
CSD.Schack at SU-SCORE, ARK at SU-AI,
CSD.BScott at SU-SCORE
I would like to take this opportunity to remind you that Black Friday will
be on Tuesday, June 1 at 2:30 pm in room 252 MJH. Within the next few
days, you will get a packet of information describing all of your advisees
and also the students identified at the Gray Tuesday meeting as needing to
be discussed at Black Friday.
If you have any comments or agenda items, please send them to Paul Armer
(CSD.Armer@SCORE) and to me (ARK@SAIL). If you will be unable to attend
this meeting, but wish to give comments on about any student, please send
them to both of us.
There is a new university policy regarding dismissal of PhD students who
have been admitted to candidacy that was passed by the Faculty Senate
recently. Copies of this policy will be included in the Black Friday
packets.
Arthur
∂24-May-82 1634 Nancy Dorio <CSD.DORIO at SU-SCORE> TEST FOR TAY-SACHS GENE
Date: 24 May 1982 1628-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: TEST FOR TAY-SACHS GENE
To: su-bboard at SU-SCORE
cc: faculty at SU-SCORE
Stanford-Phone: (415) 497-2273
Tay Sachs disease is an incurable,fatal, recessive genetic disorder
that attacks the nervous system in infants. Free tests will be given this
week.
Wednesday, May 26 11 - 2 Tressider/Room 271
5:30 - 7 Escondido Vlg/Cottage Room
Thursday, May 27 9 - 11 Stanford Medical Center/Room 108
Gene Golub
-------
∂24-May-82 1846 Gene Golub <CSD.GOLUB at SU-SCORE> Lunch on Tuesday
Date: 24 May 1982 1841-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Lunch on Tuesday
To: faculty at SU-SCORE
Just a reminder that Bob Spinrad of Xerox will have lunch with us
on Tuesday. GENE
-------
∂25-May-82 0820 FFL
To: JMC, FFL
Letter from John Cocke says, "Whenever you would like to come in August is fine.
Please drop me a line and tell me what your consulting arrangements have been
in the past."
∂25-May-82 0958 CLT
martha needs to know the expiration date on your visa card
Visa good till last day of 6-82
∂25-May-82 1410 FFL
To: RSW, FFL, JMC
Now that the cost of computer usage has escalated greatly, John has asked me to
tell you that he can no longer pay for your computer use. So you should make
new arrangements by May 3l, please.
Fran Larson, Secretary
∂25-May-82 1412 FFL
To: LES, FFL, JMC
Now that the cost of computer usage has escalated greatly, John has asked me to
tell you that he can no longer pay for your computer use. So you should make
new arrangements by May 3l, please.
I keep forgetting that this LES account contains only files left
over from his work for us. Ask him what they are and for advice.
∂25-May-82 1413 FFL The method of calculating charges for computer use on SAIL has changed
To: PJH, JMC, FFL
and John's costs have increased considerably. He has asked me to urge you to
reduce your files as much as possible and to be careful of your login hours, as
we are now charged in part on that basis.
Fran Larson, Secretary
∂25-May-82 1418 FFL
To: RWG, FFL, JMC
The method of calculating charges for computer use on SAIL has changed, and John's
costs have increased considerably. He has asked me to urge you to reduce your
files as much as possible and to be careful of your login hours, as we are now
charged in part on that basis.
Fran Larson, Secretary
∂25-May-82 1424 FFL
To: JMC, FFL
You have an appointment with Dr. Paris on July 19 at 2 p.m. Next available
appointment is in December. Is on your calendar.
∂25-May-82 1427 FFL Porto's files
To: JMC, FFL
Carolyn says that Antonio is planning to come back to IBM in the future and that
he might want random access here, but it is up to you whether you wish to continue
carrying him.
∂25-May-82 1446 LES
To: FFL
CC: JMC
Computer accounts
∂25-May-82 1412 FFL
To: LES, FFL, JMC
Now that the cost of computer usage has escalated greatly, John has asked me to
tell you that he can no longer pay for your computer use. So you should make
new arrangements by May 3l, please.
--------
If John has been paying for me, he should get a refund. Back a year or
two ago, guest accounts were not charged to anyone. When the rate
structure was changed last year I asked Betty Scott how my account was being
handled and learned that it had beeen charged to one of John's accounts.
I immediately asked Susan Hill to change it to Imagen. I don't recall the
exact date of this transaction but I think it was last Fall.
In any case, there was and is no reason for a university account to be
charged for my fiddling. Since we (Imagen) get bills for computer time
rather irregularly (the last one was January) and the bills are not
itemized, I have little to go on. I apologize for the inconvenience
and will do whatever is needed to get this straightened out.
∂25-May-82 1836 Bobrow at PARC-MAXC An issue, and should we have an AI Board meeting this summer?
Date: 25 May 1982 18:31 PDT
From: Bobrow at PARC-MAXC
Subject: An issue, and should we have an AI Board meeting this summer?
To: Amarel at Rutgers, Barrow at SRI-KL, Berliner at CMU-10A, Bledsoe at
UTEXAS-11, Bobrow at PARC, Boyer at SRI-KL, Brady at MIT-AI, Brown at
PARC, Buchanan at Sumex-AIM, Erman at USC-ISI, Feigenbaum at Sumex-AIM,
Hayes at SU-AI, McCarthy at SU-AI, Newell at CMU-10A, Nilsson at SRI-KL,
Sridharan at Rutgers, Walker at SRI-KL, Winograd at PARC, Woods at BBND
Dear Board Members:
We often have a meeting during the summer, and we could have one at AAAI
this year. However, I have only one problem, and a suggested solution. I would
prefer to get your approval by return net and postal mail rather than waiting for
a meeting. If there are no serious disagreements, and no other issues pending,
then I think we can delay an editorial board meeting until 1983.
The problem we face is the fact that the AIJ has become a popular place for
publication (Hurray!!!). However, our publication queue has gotten over three
issues long. This is not tooo bad, but the derivative is positive; this implies a
delay of more than a eight months from acceptance to publication. To shorten
the queue somewhat, and to provide better service to our readers, I think we
ought to go to publication of four issues in each volume rather than the current
three (we have two volumes which come out each year). Willem Dijkhuis, our
publisher, has agreed that this would be useful, and is willing to do this without
raising the individual users subscription price by more than about 10% (to say
$50/ year). Institutions would pay the 1/3 more that an additional one third
more pages justifies. This seems to me most equitable.
Please let me know whether you approve of our producing more issues each
year, and the increases in prices that are suggested above. I would like to get
answers as soon as possible so that I can write an announcement for AAAI, AISB
and SIGART as soon as possible, since it will affect next years subscription rates.
Also please let me know if you feel any need for a meeting this year for any
reason.
Thank you for your cooperation. It is the quality and work of the board which
makes the journal as good as it is today.
danny
∂25-May-82 2024 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF MAY 24 - 28, 1982
Date: 25 May 1982 0930-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: ADDENDUM TO COLLOQUIUM NOTICE WEEK OF MAY 24 - 28, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
AFLB - Thursday, May 27, 1982, at 12:30 p.m. in MJ301. Richard Karp from
U.C. Berkeley, will speak on "An Efficient Scheme for the One - Dimensional
Bin Packing Problem."
-------
∂26-May-82 0927 Don Walker <WALKER at SRI-AI> Re: An issue, and should we have an AI Board meeting this summer?
Date: 26 May 1982 0924-PDT
From: Don Walker <WALKER at SRI-AI>
Subject: Re: An issue, and should we have an AI Board meeting this summer?
To: Bobrow at PARC-MAXC
cc: Amarel at RUTGERS, Barrow at SRI-KL, Berliner at CMU-10A,
Bledsoe at UTEXAS-11, Boyer at SRI-KL, Brady at MIT-AI, Brown at PARC-MAXC,
Buchanan at SUMEX-AIM, Erman at USC-ISI, Feigenbaum at SUMEX-AIM,
Hayes at SU-AI, McCarthy at SU-AI, Newell at CMU-10A, Nilsson at SRI-KL,
Sridharan at RUTGERS, Winograd at PARC-MAXC, Woods at BBNC
In-Reply-To: Your message of 25-May-82 1831-PDT
Danny,
Much though I dislike increasing subscription prices, I do think
that the volume of AI literature will only increase. Even though more
publishing outlets are appearing, the AIJ will have more than its fair
share. Consequently, I don't think we risk anything by being expansive.
We may lose both individual and institutional subscribers in a way that
reduces overall revenue, but if there is enough buffer now or if North
Holland is not concerned, then we should go ahead.
Don
-------
∂26-May-82 0952 Nilsson at SRI-AI Re: An issue, and should we have an AI Board meeting this summer?
Date: 26 May 1982 0928-PDT
From: Nilsson at SRI-AI
Subject: Re: An issue, and should we have an AI Board meeting this summer?
To: Bobrow at PARC-MAXC, Amarel at RUTGERS, Barrow at SRI-KL,
To: Berliner at CMU-10A, Bledsoe at UTEXAS-11, Boyer at SRI-KL,
To: Brady at MIT-AI, Brown at PARC, Buchanan at SUMEX-AIM,
To: Erman at USC-ISI, Feigenbaum at SUMEX-AIM, Hayes at SU-AI,
To: McCarthy at SU-AI, Newell at CMU-10A, Nilsson at SRI-KL,
To: Sridharan at RUTGERS, Walker at SRI-KL, Winograd at PARC,
To: Woods at BBND
cc: NILSSON
Danny, I am in favor of your suggestion, provided we can do it
sufficiently flexibly that should the number of high-quality papers
declines we can reduce the number of issues again (without facing
any pressures from the publisher). I see no need for a meeting unless
we want to consider additional board members--and I myself have no
current opinions on that matter. -Nils
-------
∂26-May-82 1221 WOODS at BBNG Re: An issue, and should we have an AI Board meeting this su...
Date: 26 May 1982 1237-EDT
Sender: WOODS at BBNG
Subject: Re: An issue, and should we have an AI Board meeting this su...
From: WOODS at BBNG
To: Bobrow at PARC-MAXC
Cc: Amarel at RUTGERS, Barrow at SRI-KL, Berliner at CMU-10A,
Cc: Boyer at SRI-KL, Brady at MIT-AI, Buchanan at SUMEX-AIM,
Cc: Erman at USC-ISI, Feigenbaum at SUMEX-AIM, Hayes at SU-AI,
Cc: McCarthy at SU-AI, Newell at CMU-10A, Nilsson at SRI-KL,
Cc: Sridharan at RUTGERS, Walker at SRI-KL, Winograd at PARC,
Cc: Woods at BBNG
Message-ID: <[BBNG]26-May-82 12:37:59.WOODS>
In-Reply-To: Your message of 25 May 1982 18:31 PDT
Danny,
I see you still haven't got your message system fixed to
confine itself to 72 characters per line on messages it
sends out of Parc. Do you have any influence on getting
that done. It's a pain to have to reformat all the messages
I get from parc before I can read them on narrow paper (which
is what I routinely have done with my messages).
Regarding the extra journal issues each year, I have no
objection provided you are confident that the quality of
the papers will be high. In general I would prefer to
read fewer high quality papers than a larger number.
-- Bill
∂26-May-82 1410 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> Re: An issue, and should we have an AI Board meeting this summer?
Date: 26 May 1982 1604-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Subject: Re: An issue, and should we have an AI Board meeting this summer?
To: Bobrow at PARC-MAXC, Amarel at RUTGERS, Barrow at SRI-KL,
Berliner at CMU-10A, Bledsoe at UTEXAS-11, Boyer at SRI-KL, Brady at MIT-AI,
Brown at PARC-MAXC, Buchanan at SUMEX-AIM, Erman at USC-ISI,
Feigenbaum at SUMEX-AIM, Hayes at SU-AI, McCarthy at SU-AI,
Newell at CMU-10A, Nilsson at SRI-KL, Sridharan at RUTGERS,
Walker at SRI-KL, Winograd at PARC-MAXC, Woods at BBND
cc: ATP.Bledsoe at UTEXAS-20
In-Reply-To: Your message of 26-May-82 0002-CDT
Danny, I too am delighted to hear that we are finally getting a good
backlog of papers for the AI Journal. I think your solution is perfectly
reasonable, and I see no other reason for meeting in Pittsburgh.
Woody
-------
∂26-May-82 1446 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Meeting on Tuesday, June 1
Date: 26 May 1982 1439-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Meeting on Tuesday, June 1
To: faculty at SU-SCORE
cc: csd.trickey at SU-SCORE, csd.weening at SU-SCORE, ark at SU-AI,
csd.bscott at SU-SCORE, csd.armer at SU-SCORE
The annual BLACK FRIDAY meeting will take place on Tuesday, June 1 in the
Boy's Town conference room. Preliminary to this meeting, there will be a
general faculty meeting.
**TENTATIVE AGENDA**
1. Appointment of James Frankel (Golub)
2. Approval of new reading list for
Comprehensive (Lenat)
3. Discussion of advising (Golub)
4. Budget Report (Scott)
5. Advising Plan (Golub)
6. CS-CF (Gorin)
7. Approval of revision documents (Keller)
I wil circulate Frankel's c.v. so that you have it before the vote.
If you have any other agenda items, please let me know.
I am hoping the Black Friday discussion will begin about 3:30. Please
allocate until 5pm for this meeting.
There will be no lunch on Tuesday.
Gene Golub
-------
∂27-May-82 0925 JMC via USC-ISID
Dr. (John) Colin Adams, D.EC. 110 Spit Brook RD,Nashua03061 performance
∂27-May-82 0928 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Faculty Meeting June 1
Date: 27 May 1982 0926-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Faculty Meeting June 1
To: faculty at SU-SCORE
cc: csd.bscott at SU-SCORE, csd.armer at SU-SCORE
Just in case there should be a misunderstanding about the time.
The faculty meeting will start at 2:30 in the Boys Town conference
room and the Black Friday meeting will start at 3:30.
Irmgild
-------
∂27-May-82 1000 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF MAY 31 - JUNE 4, 1982
Date: 27 May 1982 0942-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF MAY 31 - JUNE 4, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
6/1/82 MJ301 Dr. Robert Blum
Tuesday Medical Computing Stanford University
1:30 p.m. Journal Club ``Recent Articles of Interest''
6/2/82 MJ352 Gabi Kuper
Wednesday Database Research Stanford University
3:15 p.m. Seminar ``System/U: A Database System Based on the
Universal Relation Assumption''
6/3/82 Boystown Conference Frank Liang
Thursday Ph.D. Oral Stanford University
2:15 p.m. ``Word Hyphenation by Computer''
6/3/82 Jordan 041 Steve Barnard
Thursday SRI Seminar SRI International
3:15 p.m. ``Adaptive Geometry: Mehtods for Recovering Line
and Surface Orientation from Images''
!
-------
∂27-May-82 1010 Gene Golub <CSD.GOLUB at SU-SCORE> Sad News
Date: 27 May 1982 0947-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Sad News
To: faculty at SU-SCORE
cc: admin at SU-SCORE
I'm sorry to report that Bernice Samuel, the wife of Arthur Samuel,
died on Monday as a result of a heart attack.
Gene Golub
-------
∂27-May-82 1221 Doug Lenat <CSD.LENAT at SU-SCORE> Revised reading list for the Comp
Date: 27 May 1982 1144-PDT
From: Doug Lenat <CSD.LENAT at SU-SCORE>
Subject: Revised reading list for the Comp
To: CSD.FEIGENBAUM at SU-SCORE, TOB at SU-AI, CSD.BUCHANAN at SU-SCORE,
CSD.GENESERETH at SU-SCORE, JMC at SU-AI, TW at SU-AI
cc: CSD.LENAT at SU-SCORE
Here is my proposed reading list for the AI part of
the Comp next year. As we discussed informally before,
it comprises a subset of the three volumes of the
AI Handbook. I have tried to include general material
(the overviews of ALL the sections, e.g.) and also enough
specific and advanced material to enable us to pose
nontrivial questions on the Comp. Most of the
details of most individual programs have been
omitted, except for paradigm-setting ones and
some expert systems (which, at our current state of
understanding can only be studeied as separate cases).
This is about 900 pages of reading, most of it fairly
easy reading at that. It omits about 400 pages of details.
If you have revisions, additions, deletions, etc., let me know
before Tuesday.
Regards,
Doug
II: A,B,C,D
III: A,B,C
IV: A
V:A,B,C
VI: A,B,C,D
VII:A,B,C2
VIII: A,B1
IX:A
X: A,B,C,D1
XI: A,B
XII: A,B,C
XIII: A,B,C,D,E,F
XIV: A,B,C1,D
XV: A,B,C,D,E
Tom: Are there parts of the vision section we should omit?
Ed: Are there any cognition areas we should add?
Terry: Are there any NL sections we should add?
Mike: If we wanted to conform closely to CS223 material,
what would we add or delete from this?
John: Do you want XIID-F added?
-------
∂27-May-82 1300 CLT Susie
Address:
Gunther, Susie and Dan 493-8817(escondido) 497-7149(susie work)
82B Escondido Village
Stanford CA. 94305
Ps: she sounds like shes in much better spirits.
I think shes feeling better and also sounds happy with the
new pad now that the moving is over.
∂27-May-82 2033 Arthur Keller <CSD.KELLER at SU-SCORE> Approval of Documents on 6/1 Faculty Meeting
Date: 27 May 1982 1720-PDT
From: Arthur Keller <CSD.KELLER at SU-SCORE>
Subject: Approval of Documents on 6/1 Faculty Meeting
To: Faculty at SU-SCORE, CSD.Trickey at SU-SCORE, CSD.Weening at SU-SCORE
cc: CSD.BScott at SU-SCORE, CSD.MWalker at SU-SCORE
Reply-to: ARK@SU-AI
The PhD requirements document that Paul has circulated for me has not been
formally approved, but we have been working using it for quite some time.
There are a few modifications I have made to it based on things that have
taken place at faculty meetings (in particular, I added a section on
consulting and on honors coop students). I expect that there will not
be any disagreement on the need to formalize this by adopting it at a
faculty meeting.
The charge to the comprehensive committee is a file that was set up by
Denny Brown in December 1980. I can find no record that it was formally
approved, but it is based on events that took place at faculty meetings.
I would like this to be formally approved and publicized.
The requirements for the comprehensive programming project are not universally
known, so I have found the file containing them and made copies for people
to peruse.
These documents will be made available to the students, and I wanted to
give the faculty a change to review them before that takes place.
Thank you for the opportunity to serve you.
Arthur
-------
∂29-May-82 1413 REG
To: JMC at SU-AI
CC: CSD.Golub at SU-SCORE
∂17-May-82 0727 JMC via USC-ISID
To: REG at SU-AI, GHG at SU-AI
Can't we protest these frequent chilled water shutdowns?
----
We did protest the chilled water shutdown and it has been
rescheduled. However, plant services does not promise continuous
service from the chilled water system. These shutdowns are intended
to increase reliability.
Ralph
∂01-Jun-82 0937 Marilynn Walker <CSD.MWALKER at SU-SCORE> Carolyn Talcott
Date: 1 Jun 1982 0936-PDT
From: Marilynn Walker <CSD.MWALKER at SU-SCORE>
Subject: Carolyn Talcott
To: csd.mccarthy at SU-SCORE
cc: csd.mwalker at SU-SCORE
I would appreciate either written memo or over netmail verifying
seminar req. for Carolyn Talcott's student folder.
Thanks, Marilynn
-------
∂01-Jun-82 1230 Gene Golub <CSD.GOLUB at SU-SCORE> Faculty meeting
Date: 1 Jun 1982 1120-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Faculty meeting
To: faculty at SU-SCORE
Just a reminder that our faculty meeting begins at 2:30 today,
followed by the Black Friday meeting. GENE
-------
∂01-Jun-82 1434 Gene Golub <CSD.GOLUB at SU-SCORE> Phone numbers
Date: 1 Jun 1982 1425-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Phone numbers
To: faculty at SU-SCORE
cc: csd.tajnai at SU-SCORE
Here are two phone numbers which may be of interest to you.
Previously they seem to have been unlisted!
Paul Armer 7-2906
Marilynn Walker 7-1519.
GENE
-------
∂01-Jun-82 1607 CLT SEMINAR IN LOGIC AND FOUNDATIONS OF MATHEMATICS
To: "@LOGIC.DIS[1,CLT]" at SU-AI
Speaker: Wilfried Sieg
Title: Fragments of arithmetic
Time: Friday, June 4, 4:15-5:30
Place: Room 383P Math. Bldg.
S. Feferman
∂02-Jun-82 1049 COHEN at PARC-MAXC Research Position
Date: 2 Jun 1982 10:45 PDT
From: COHEN at PARC-MAXC
Subject: Research Position
To: John McCarthy <JMC at SU-AI>
cc: COHEN
Dr. McCarthy,
I'm graduating from Stanford this Fall in Philosophy and am interested in the
possibility of a LISP/research position in the Stanford AI lab. As you will recall
(see your message of 10 Apr 1981), my dissertation is entitled "Understanding
Natural Kinds". It deals with prototype theory and its implications for semantic
theory and theories of concepts. Having made the semantic and philosophical
points I wanted to make, I would now like to work more on prototype-based
formalisms and non-monotonic reasoning. Please let me know if you are
interested and how I should proceed.
--Benjamin Cohen
∂02-Jun-82 1101 Ichiki at SRI-AI NO TINLUNCH THIS THURSDAY
Date: 2 Jun 1982 1055-PDT
From: Ichiki at SRI-AI
Subject: NO TINLUNCH THIS THURSDAY
To: tinlunchers:
i 2-Jun-82 10:28:12-PDT,670;000000000001
Date: 2 Jun 1982 1028-PDT
From: Paul Martin <PMARTIN at SRI-AI>
Subject: tinlunch deferred
To: ichiki
Due to amazing irresponsibility and poor planning on the part of this week's
organizer (me), the TinLunch paper for this week (Ron Brachman's Canadian
AI Conference paper on the multiple interpretations of the ISA link) will
NOT HAPPEN until about a month from now when he returns from running around
a lot..... Additional considerations include the number of our crew that
will be off in southern Cal for a conference, etc. As weak as these excuses
look, you should remember them in case you ever find yourself in a similar
jam....
Paul
-------
-------
∂02-Jun-82 1148 Gene Golub <CSD.GOLUB at SU-SCORE> Herriot retirement lunch
Date: 2 Jun 1982 1139-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Herriot retirement lunch
To: Herriot-retirement: ;
cc: CSD.GOLUB at SU-SCORE, irmgild at SU-SCORE
Just a reminder that the retirement luncheon for
Jack Herriot will take place on Wednesday, June 9
at 12:15 in the Faculty Club. I need to know by
Thursday June 3 whether you will be there. Thanks.
GENE
-------
∂02-Jun-82 1226 Gene Golub <CSD.GOLUB at SU-SCORE> Tenured faculty meeting
Date: 2 Jun 1982 1220-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Tenured faculty meeting
To: CSD-Tenured-Faculty: ;
Please remember that on Thursday June 3, the first Thursday of
June, we have a Tenured Faculty meeting at 2:30 in my conference
room. Two items should be discussed.
1) The possible appointment of Chuck Seitz from Cal Tech as a
joint EE/CS appointment.
2) The budget given out at the Faculty meeting on Thursday.
Is there someway we can stop the bleeding caused by SAIL.
This should be a short meeting!
GENE
-------
∂02-Jun-82 1301 CLT About NY
It would be fun to come to NY and do some shopping,
but I guess I'd better stay here.
∂02-Jun-82 1509 Marilynn Walker <CSD.MWALKER at SU-SCORE> [Doug Lenat <CSD.LENAT at SU-SCORE>: Changes in the Comp for next year]
Date: 2 Jun 1982 1444-PDT
From: Marilynn Walker <CSD.MWALKER at SU-SCORE>
Subject: [Doug Lenat <CSD.LENAT at SU-SCORE>: Changes in the Comp for next year]
To: Comp-committee: ;
If you have any objections or suggested revisions to the proposed
changes, please voice them to Doug Lenat by Monday, June 7.
Thank you,
Marilynn
---------------
Mail-From: CSD.LENAT created at 2-Jun-82 12:06:23
Date: 2 Jun 1982 1206-PDT
From: Doug Lenat <CSD.LENAT at SU-SCORE>
Subject: Changes in the Comp for next year
To: MWALKER at SU-SCORE
From: The Comprehensive Committee
To: Students in in the CS Department
Subject: The Winter, 1983 Comprehensive
The Comprehensive Committee has made some changes
in the administration of the exam. These will
take effect in Winter, 1983, on an experimental
basis.
1. The exam will be closed book.
This enables us to ask more fundamental questions,
and to ask a set of questions which demands
much less than an hour to answer.
2. Each area will be tested for precisely one hour.
This reduces the time-management tension
and gives us a better picture of competence in
each individual area. One expected effect of this
policy will be a slight lowering of the total
score needed for a Master's pass.
3. The exam will be split over two days (Sat/Sun).
On one day, the areas tested will be AA, AI, and
Hardware systems. The second day includes NA,
Software systems, and MTC. This will reduce the
penalty on students who do not perform well on
an all-day exam.
4. The Winter exam will be given January 8 and 9.
By giving the exam early in the quarter, we eliminate
the current behavior of staying away from classes
for a few weeks prior to the exam.
5. The programming project is part of the Comprehensive,
and as such is due by the end of a student's
Spring quarter in their second year. In 1981/82, students
can extend this deadline by filing a form
signed by the student, their advisor, and the chairman.
6. While not a "policy decision", one final note about preparation
for the exam is in order. Our interviews with students who have
failed the exam reveal an alarming lack of studying, which perhaps
explains in part the increasingly poor pass rate. A PhD student in
this department is expected to spend 20 hours per week working on
their RA or TAship. Until they have passed the Comprehensive, we
expect them to spend about 40 hours per week in addition, preparing
for the exam. Such preparation can take the form of self-study from
the reading list, or taking courses and working the problems in those
courses. This works out to about 300 hours of preparation in each
area. It is not surprising to us that students who began studying one
or two areas shortly before the exam did not pass. We encourage the
formation of study groups or other mechanisms to structure studying.
We actively discourage sitting in on lectures in courses without
doing the homework problems. This final point (6) should be taken as
an "emergency bulletin" to all of you who still have the
Comprehensive to pass.
-------
-------
∂02-Jun-82 1644 Paul Armer <CSD.ARMER at SU-SCORE> [Joe Weening <JJW at SU-AI>: Dismissals ]
Date: 2 Jun 1982 1640-PDT
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: [Joe Weening <JJW at SU-AI>: Dismissals ]
To: CSD-Faculty: ;
cc: : ;
Stanford-Phone: (415) 497-2274
I thought you'd find this message pertinent and of interest.
Paul
---------------
Mail-from: ARPANET site SU-AI rcvd at 2-Jun-82 0838-PDT
Date: 02 Jun 1982 0837-PDT
From: Joe Weening <JJW at SU-AI>
Subject: Dismissals
To: csd.golub at SU-SCORE, csd.armer at SU-SCORE
CC: csd.trickey at SU-SCORE
I would like to ask a few questions about faculty policy for dismissal,
in light of the new University guidelines. I am mainly concerned with
dismissal after admission to candidacy.
The guidelines refer to "satisfactory progress". The CSD document
"Requirements in the PhD Program" refers to "reasonable progress". First
of all, then, it should be made clear whether or not these are the same.
The CSD Reasonable Progress guidelines specify two schedules: a "desired
schedule" and a "reasonable progress" schedule. The desired schedule has
a student pass the qual in his second year, and form his reading committee
in year three. The reasonable schedule pushes both of these back one year,
if the qual was passed in the third year. (It doesn't allow a student to
fall behind between the time he passes his qual and files his G81, though,
so a student who passed the qual in his second year must form his reading
committee in his third year.)
It was my impression at the Black Friday meeting that the faculty would have
considered dismissing students who failed a qual at the end of their third
year. Thus, failure to make reasonable progress is considered sufficient
grounds for dismissal. The University guidelines, however, change this.
They state that failure to make satisfactory progress requires a warning
to the student in a meeting with his advisor and the Director of Graduate
Studies (in our department, I assume this would be the Chairman). The
student is then given steps necessary to correct his deficiencies, and
a period of at least one quarter to complete these requirements. After that
period, the faculty may initiate dismissal proceedings. (These include the
student's right to appeal within the department, and at higher University
levels.)
There was a feeling at Black Friday that these requirements therefore had
undercut the normal policy of the CSD faculty. I take this to mean that
some feel it desirable to permit dismissal at the end of the third year.
This does not seem completely unreasonable to me. However, the current
measures of progress are not designed to accomodate both this possibility
and the University regulations. Specifically, the qualifying exams are not
timed so that they can be used as a means of making up the deficiencies
recognized as unsatisfactory progress.
So, there are two possible outcomes, as I see it. (1) If the faculty feels
it may be necessary to dismiss students at the end of their third year, some
way of satisfying the third-year requirements at least one quarter prior to
the end of the third year must be offered, and another chance must be given
at the end of the third year if this is failed. (2) If it is felt that
passing a qual in year three is satisfactory, then students who fail it must
be allowed extra time. That is what was done this year.
If the first option is favored, however, then the time for satisfying the
qual requirement must be moved back. There was fairly strong sentiment from
several groups against giving semi-annual quals. Without that, however,
I believe the only option would be to define passing the qual by the end of
the second year as "satisfactory", and for those who fail, giving them formal
notification at that time that they are in trouble, and must pass the qual in
the third year. Thus the "grace period" which has to be at least one quarter
is made into a whole year, but it begins much earlier.
This has several effects. First, it recovers the faculty's option to decide
to dismiss someone at the end of the third year. Second, it puts students
on warning at an earlier time. Third, it effectively requires a second-year
student to take a qual if he has not already passed one. Otherwise, he will
certainly be failing to make reasonable progress.
Where this would run into problems, of course, is with students who pass the
comprehensive exam at the end of their second year. I believe it is not fair
to make them take a qual at the same time; studying for both may cause them
to pass neither (or only the qual, which would still cause a problem). This,
I believe, is a sufficient argument against establishing a second-year qual
requirement.
Let me finish then, by repeating a plea for qualifying exams in the middle of
the third year, if there are students who need to take them. I would define
this need as someone who passed the comp at the end of their second year and
was therefore unable to take a spring qual. Two of the areas, NA and MTC,
are already very accomodating with respect to qual scheduling, and I don't see
why the other areas can't do the same.
-------
∂02-Jun-82 1706 Nancy Dorio <CSD.DORIO at SU-SCORE> CORRECTION TO COLLOQUIUM NOTICE WEEK OF MAY 31 - JUNE 4, 1982
Date: 2 Jun 1982 1655-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: CORRECTION TO COLLOQUIUM NOTICE WEEK OF MAY 31 - JUNE 4, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
SRI Seminar - Thursday, June 3 at 3:15 p.m. in 260 - 268. Steve Barnard,
from SRI International, will speak on "Adaptive Geometry: Methods for
Recovering Line and Surface Orientation from Images."
-------
∂03-Jun-82 0934 FFL
To: JMC, FFL
Mickey McGinn of the Symposium office called to say that in checking she learneed
that the flight which you gave them as the one on which you would arrive on
June 9, American 465, at 1:02 p.m., has been canceled. I guess that she is
responsible for having someone meet you and wishes to know when you are coming.
I am confused by your calendar, as it doesn't look from it as if June 9 were a
proper date for you too be arriving for the Symposium. But anyway, if you wish
to be met, please contact Mickey McGinn at (518) 385 8899.
∂03-Jun-82 0942 FFL Martin Davis, please give msg to John McCarthy
To: MDD, JMC, FFL
Mickey McGinn of the GE Symposium office called to say that in checking she
learned that the flight which you gave them as the one on which you would
arrive on June 9 (American 465, at 1:02 p.m.) has been canceled. I guess that
she is responsible for having someone meet you and wishes to know when you
are arriving. I am confused by your calendar, as it doesn't look as if June 9
were a proper date for you to be arriving for the Symposium. But anyway, if
you wish to be met, please contact Mickey McGinn at (518) 385 8899.
∂03-Jun-82 1034 Paul Armer <CSD.ARMER at SU-SCORE> Candidates
Date: 3 Jun 1982 1030-PDT
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: Candidates
To: CSD-Faculty: ;
cc: csd.jf at SU-SCORE, jjw at SU-AI, csd.reges at SU-SCORE,
admin.gorin at SU-SCORE, csd.bscott at SU-SCORE, csd.mwalker at SU-SCORE
Stanford-Phone: (415) 497-2274
Two candidates for the Introductory Courses Coordinator position will
be here to be interviewed tomorrow and Monday. Each will give a seminar --
see BBOARDS for announcements. Lyman R. Hazelton, Jr., of MIT will be
here Friday, June 4 and Barry Donahue of Montana State University will
be here Monday, June 7. Those of you who would like to interview the
candidates should phone or see my new secretary, Rita Leibovitz, for
an appointment. Her phone number is 7-4365.
Paul
-------
∂03-Jun-82 1112 Jake Brown <CSD.JAKE at SU-SCORE> Last Comp Meeting
Date: 3 Jun 1982 1107-PDT
From: Jake Brown <CSD.JAKE at SU-SCORE>
Subject: Last Comp Meeting
To: Comp-committee: ;
Stanford-Phone: (415) 497-4879
There will be one final meeting of this quarter's
Comp COmmittee on Monday, June 7, at noon, in Room
352. We will discuss the comments on the various
proposals to changes in the Comp format (closed book,
two days, etc.) that I circulated to you and to the
student bureaucrats earlier this week. Hopefully we
can agree on exactly what changes we wish to make,
and release an announcement of them to the department
as a whole. If you cannot attend the Monday meeting,
please take a few minutes to read and comment on the
six items in the document. Let me thank you all for
serving this quarter, in what has been a very
difficult examining situation.
Doug
-------
∂03-Jun-82 1512 Jrobinson at SRI-AI TINLUNCH JUNE 10
Date: 3 Jun 1982 1454-PDT
From: Jrobinson at SRI-AI
Subject: TINLUNCH JUNE 10
To: tinlunchers:
There will be a regular TINLUNCH meeting at noon on June 10, in EK242.
The paper is "Generalized Phrase Structure Grammar and Japanese
Reflexivization" by Takao Gunji, to appear in <Linguistics and Philosophy>
special issue on pronouns and anaphora. Copies available on Barbara's
file cabinet. (Two copies in Stanford Linguistics Department.)
No TINLUNCH on June 17 because of ACL meeting in Toronto.
Jane Robinson
-------
∂03-Jun-82 1619 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF JUNE 7 - 11, 1982
Date: 3 Jun 1982 1608-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF JUNE 7 - 11, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
6/10/82 Fairchild Auditorium Dr. Ted Shortliffe
Thursday Special Seminar Stanford University
8:30 A.M. ``The Computer as a Decision Making Assistant:
What Lies Ahead for the Physician''
!
-------
∂03-Jun-82 1704 Jake Brown <CSD.JAKE at SU-SCORE> Apologies
Date: 3 Jun 1982 1659-PDT
From: Jake Brown <CSD.JAKE at SU-SCORE>
Subject: Apologies
To: csd.brooks at SU-SCORE, lgd at SU-AI, bkr at SU-AI, csd.jf at SU-SCORE,
csd.shore at SU-SCORE, yom at SU-AI, jmc at SU-AI, csd.cha at SU-SCORE,
csd.lopez at SU-SCORE
Stanford-Phone: (415) 497-4879
Please forgive me. I inadvertently mail to you all the message regarding the
last comprehensive meeting on Monday. Please ignore that message. Thank you.
Jake Brown
-------
∂04-Jun-82 1315 Marilynn Walker <CSD.MWALKER at SU-SCORE> Vote on Appointment of James Frankl
Date: 4 Jun 1982 1311-PDT
From: Marilynn Walker <CSD.MWALKER at SU-SCORE>
Subject: Vote on Appointment of James Frankl
To: CSD-Faculty: ;
cc: csd.mwalker at SU-SCORE
On request of Gene Golub, I am asking all of you to send me your vote
re appointment of James Frankl who is currently enrolled at Harvard
University in the Ph.D. program in C.S.
I have either put in your mailbox or mailed to you direct a copy of his
vitae for your information.
Please respond by 5:00 p.m. Monday, June 7.
Thanks for your time,
Marilynn
-------
∂04-Jun-82 1331 Marilynn Walker <CSD.MWALKER at SU-SCORE> Appointment
Date: 4 Jun 1982 1328-PDT
From: Marilynn Walker <CSD.MWALKER at SU-SCORE>
Subject: Appointment
To: CSD-Faculty: ;
cc: csd.mwalker at SU-SCORE
Only those faculty who were NOT at the Tuesday faculty meeting will receive
copies of James Frankl's vitae or on special request.
Marilynn
-------
∂04-Jun-82 1657 Amy Lansky <ALL at SU-AI>
Mail-from: ARPANET site SU-AI rcvd at 4-Jun-82 1648-PDT
Date: 04 Jun 1982 1648-PDT
From: Amy Lansky <ALL at SU-AI>
To: csd.jf at SU-SCORE
Remailed-date: 4 Jun 1982 1654-PDT
Remailed-from: Joan Feigenbaum <CSD.JF at SU-SCORE>
Remailed-to: CSD-Faculty: ;
Regarding Black Friday and the Comprehensive Exam
We are sending this note to you because of our concern about the
way things have been going with regard to the comprehensive exam. As
"senior" grad students, (and thus, with less to "lose" by speaking up
on such matters), we feel it's our duty to mention the following concerns.
We feel the Comprehensive Committee and the faculty have acted irresponsibly.
Specifically, there are three 2nd year students who are "on the line." These
students were told that they might take oral exams in their deficient areas.
They were LED TO BELIEVE that if they passed, they could forego taking the
exam again. All of them received conditional passes in all of their weak
areas. We know that all believed this to mean that they had received a
conditional pass, and would not have to take the exam again next year. One
student was even sent a "congratulatory" note about his result on one
of his oral tests.
It now seems that the faculty decided at Black Friday to indeed "flunk"
the three students and make them take the exam over again. This decision
might have been acceptable had the students not been given previous false
hopes and impressions. The result is an undeniably irresponsible act
on the part of the faculty, who in essence have performed a sort of
"psychological" torture upon these three students. Imagine, if you will,
that you have essentially been told that you have "made it," and you have
believed this to be true for 1 or 2 weeks. Then you are told that this is
all a lie. It would not take too much sensitivity to realize that such
circumstances could lead to extreme psychological distress.
Not only has the faculty, by its wishy washy decision making and unclear
policy handling, treated these students in a brutal fashion, but it has succeeded
in breaking down mutual trust and credibility between the student
and faculty populations.
There is no doubt that questions about the format of the exam, etc. must
be answered as well. But what we are worried about here is a simple case of the
faculty's reneging on its word. It is even possible that this case could be
brought up before the university ombudsman.
We have heard that no official notice has yet been given to the three
students in question, and that Black Friday will continue this coming Tuesday.
We suggest that the faculty swallow its pride and give these students
what they had been led to believe was theirs. The issue of the other students
should be handled totally separately. They were not given any false impressions
or hopes.
We hope that no one will take our comments in offense. We simply believe that
justice must prevail. Because we have always trusted in the faculty's good will
toward the students, and we hate to see such things going on.
Thank You.
Amy Lansky
Marsha Berger
∂05-Jun-82 1004 SGF chairing orals exam
Would you be willing to chair the orals exam of one of my students
from Philosophy, Anthony Ungar? The subject is relationships
between Gentzen's natural deductiona and sequential calculi, using
multiple conclusion logics. We are working for one of the dates
July 26, 27 or 23. Since I'll be away until June 28, Ungar will
get in touch with you himself. If you can't do it perhaps you could
suggest someone suitable. Thanks, Sol.
I'll be glad to chair Ungar exam if schedule works out. Back
at Stanford next week.
∂05-Jun-82 1049 Marilynn Walker <CSD.MWALKER at SU-SCORE> Grades for Degree Candidates
Date: 5 Jun 1982 1044-PDT
From: Marilynn Walker <CSD.MWALKER at SU-SCORE>
Subject: Grades for Degree Candidates
To: CSD-Faculty: ;
cc: csd.mwalker at SU-SCORE
I would appreciate receiving grades for all degree candidates just as
soon as your able to give them to me. It would be nice to have the
majority in before the faculty meeting Tuesday.
I'm not panicking...much!
Thanks for your cooperation.
Marilynn
-------
∂06-Jun-82 1431 Paul Armer <CSD.ARMER at SU-SCORE> Seminar
Date: 6 Jun 1982 1426-PDT
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: Seminar
To: CSD-Faculty: ;
cc: csd.jf at SU-SCORE, csd.mwalker at SU-SCORE, admin.gorin at SU-SCORE,
jjw at SU-AI
Stanford-Phone: (415) 497-2274
Barry Donahueof Montana State University will give a seminar on
Monday, June 7 at 2 p.m. (note the unusual starting time - we have
to be out of the room by a fixed time). Barry is a candidate for the
Introductory Courses Coordinator position. The place is MJH301
Constructability and Computability : A Historical
Perspective
by Barry Donahue
Abstract: The purpose of the seminar is to provide a philosophical
framework for contemporary notions of computability. Three distinct
scientific systems are discussed: Euclidean geometry, Cartesian
analytic geometry and contemporary computability theory. The mathematical
foundations of computer science are presented as representing a step
in the continuing evolution of the concept of constructability.
-------
∂06-Jun-82 1722 Paul Armer <CSD.ARMER at SU-SCORE> Dismissal Guidelines
Date: 6 Jun 1982 1720-PDT
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: Dismissal Guidelines
To: CSD-Faculty: ;
cc: jjw at SU-AI, csd.mwalker at SU-SCORE, csd.bscott at SU-SCORE,
csd.trickey at SU-SCORE
Stanford-Phone: (415) 497-2274
I believe that the new quidelines for dismissal mean that for each
of the milestones specified in our "Requirements in the PhD Program"
document we now need to have two time periods specified. The first
would cause the flag to go up and the student warned. The second
would be the one, which having been missed, could result in dismissal.
I recommend the following although I do not have strong feelings:
Milestone Warning Date Dismissal Date
Comprehensive End of 5th Quarter End of 6th Quarter
Qual End of 9th Quarter End of 10th Quarter
or when the Qual is given
again
File G81 One year after One year plus one quarter
passing qual after passing qual
New issue -- the guidelines for dismissal mandate a lot of meetings
with students and their advisers -- for example at least thirty as
a result of Black Friday. Since I don't believe we want to have the
entire faculty sitting in on all these meetings, I recommend that we
form the "Graduate Studies Committee" contemplated by the guidelines
memo with a Chairman and four or five members (the guidelines set a
quorum of three memebers of the faculty when the committee is voting
on a dismissal). I do feel strongly that we should adopt this plan or
a variant on it at our meeting on Tuesday.
Paul
-------
∂06-Jun-82 1752 Ernst W. Mayr <CSD.MAYR at SU-SCORE> Department colloq
Date: 6 Jun 1982 1746-PDT
From: Ernst W. Mayr <CSD.MAYR at SU-SCORE>
Subject: Department colloq
To: csd.faculty at SU-SCORE
cc: csd.armer at SU-SCORE, csd.tajnai at SU-SCORE, csd.bscott at SU-SCORE,
csd.mwalker at SU-SCORE
This is to let you know that I'll be responsible for the department colloquium
coming fall.
I'd appreciate any hints, leads, and names, telephone numbers etc. of people
you think are possible speakers.
As in the past, we don't pay local people and faculty candidates, but there is
some money available for a couple or so of speakers with larger travel
expenses. And of course, there is the faculty lunch on Tuesdays!!
-Ernst
-------
∂07-Jun-82 0922 Gene Golub <CSD.GOLUB at SU-SCORE> FACULTY MEETING ON TUESDAY
Date: 7 Jun 1982 0917-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: FACULTY MEETING ON TUESDAY
To: faculty at SU-SCORE
cc: csd.bscott at SU-SCORE, csd.mwalker at SU-SCORE, weening at SU-SCORE,
trickey at SU-SCORE
Just a reminder that we will have a falty meeting at 2:30
on Tuesday in our second floor conference room in MJH.
*AGENDA*
1) Recommendation of degree candidates
2) Discussion of comprehensive
3) Ph. D. requirements
Hopefully this meeting will not last beyond 4pm. GENE
-------
∂07-Jun-82 1158 TOB Incremental Funding
To: ZM at SU-AI, JMC at SU-AI, DCL at SU-AI, GIO at SU-AI
∂07-Jun-82 0945 OHLANDER at USC-ISI Incremental Funding
Date: 7 Jun 1982 0940-PDT
Sender: OHLANDER at USC-ISI
Subject: Incremental Funding
From: OHLANDER at USC-ISI
To: TOB at SU-AI
Message-ID: <[USC-ISI] 7-Jun-82 09:40:04.OHLANDER>
Tom,
It is incremental time again. I need a list of
accomplishments for all research completed this past year and
a list of objectives for research for FY 83. Cover all areas of
research listed in your proposal. The items should be short but
meaningful. No more than 1 or 2 sentences should be used to
describe each accomplishment or objective. I need this
information by the 15th of this month. Sorry about the short
fuse. Please coordinate this action with Mohna, McCarthy,
Luckham, and Wiederhold for their portions of the research.
Delays in response may delay your funding for FY 83.
Ron
∂07-Jun-82 1206 MAS Incremental Funding
To: DCL, FFL, JMC, ZM
∂07-Jun-82 1158 TOB Incremental Funding
∂07-Jun-82 0945 OHLANDER at USC-ISI Incremental Funding
Date: 7 Jun 1982 0940-PDT
Sender: OHLANDER at USC-ISI
Subject: Incremental Funding
From: OHLANDER at USC-ISI
To: TOB at SU-AI
Message-ID: <[USC-ISI] 7-Jun-82 09:40:04.OHLANDER>
Tom,
It is incremental time again. I need a list of
accomplishments for all research completed this past year and
a list of objectives for research for FY 83. Cover all areas of
research listed in your proposal. The items should be short but
meaningful. No more than 1 or 2 sentences should be used to
describe each accomplishment or objective. I need this
information by the 15th of this month. Sorry about the short
fuse. Please coordinate this action with Mohna, McCarthy,
Luckham, and Wiederhold for their portions of the research.
Delays in response may delay your funding for FY 83.
Ron
∂07-Jun-82 1403 Betty Scott <CSD.BSCOTT at SU-SCORE> [Marianne Siroker <MAS at SU-AI>: ∂07-Jun-82 1158 TOB Incremental Funding ]
Date: 7 Jun 1982 1403-PDT
From: Betty Scott <CSD.BSCOTT at SU-SCORE>
Subject: [Marianne Siroker <MAS at SU-AI>: ∂07-Jun-82 1158 TOB Incremental Funding ]
To: DCL at SU-AI, ZM at SU-AI, JMC at SU-AI, Wiederhold at SUMEX-AIM
For your information.
Betty
---------------
Mail-from: ARPANET site SU-AI rcvd at 7-Jun-82 1209-PDT
Date: 07 Jun 1982 1207-PDT
From: Marianne Siroker <MAS at SU-AI>
Subject: ∂07-Jun-82 1158 TOB Incremental Funding
To: BS at SU-AI
∂07-Jun-82 0945 OHLANDER at USC-ISI Incremental Funding
Date: 7 Jun 1982 0940-PDT
Sender: OHLANDER at USC-ISI
Subject: Incremental Funding
From: OHLANDER at USC-ISI
To: TOB at SU-AI
Message-ID: <[USC-ISI] 7-Jun-82 09:40:04.OHLANDER>
Tom,
It is incremental time again. I need a list of
accomplishments for all research completed this past year and
a list of objectives for research for FY 83. Cover all areas of
research listed in your proposal. The items should be short but
meaningful. No more than 1 or 2 sentences should be used to
describe each accomplishment or objective. I need this
information by the 15th of this month. Sorry about the short
fuse. Please coordinate this action with Mohna, McCarthy,
Luckham, and Wiederhold for their portions of the research.
Delays in response may delay your funding for FY 83.
Ron
-------
∂07-Jun-82 1407 Colmerauer.TextMgt at MIT-MULTICS money from Luminy
Date: 7 June 1982 17:07 edt
From: Colmerauer.TextMgt at MIT-MULTICS
Subject: money from Luminy
To: JMC at SU-AI
Dear John
On the 5th mai you have received 11.000F
and on the 19 mai 15.837F. I have checked
at our second floor. Can you tell me again
how many houres course I would
have to give at Stanford?
Cordialement Alain
∂07-Jun-82 1718 RPG Rates
What is your understanding of the rates that FR is being charged? Is it the
aliquot rate, or the new use-based rate? I understood from the payers' meeting
that we both attended in March or April
that the lower use-based rates would be implemented in the charging
software, that the charges per group would be studied vis-a-vis the various
contracts, and that a subsequent payers' meeting would approve that rate.
We are currently being charged using the use-based rate, and, in fact, our
contracts are being so charged. If this is not as you understand things should be
I will speak to REG about it.
-rpg-
∂08-Jun-82 0821 FFL renewal of ARPA contract - reports relating thereto
To: JMC, FFL
Had a note from Ohlander of ARPA saying that reports must be turned in before
consideration of 1983 funding is possible. He wants a list of accomplishments
and a list of objectives for 1983. Says no more than l or 2 sentences should
be used to describe them, and the information is required by June 15.
Goad's report and the EKL Manual have both been sent to Machado (May l8) but
Ohlander evidently wants short summaries. With Dick Gabriel's help (Chris
is away until June 27) I can get a sentence or two on his report, and Joe
Weening is writing an EKL progress statement (Jussi is away, too).
That leaves the objectives for 1983. I suppose that Goad and Ketonen's work
can be mentioned as continuing - if you want something more forceful stated,
please give me your ideas.
Then earlier outline of objectives indicated that John McCarthy would have
a technical report in October on formalisms for representing knowledge about
knowledge. I guess that is one of the 1983 objectives but perhaps you want
to elaborate some. Also that same outline indicates that in December there
will be a summary technical report which compares approximately 20 LISP systems
in current use, the report to summarize the results of running a series of
benchmarks on each of the systems. Do you want me to use this wording or should
it be elaborated by you or Dick Gabriel?
I am sending a copy of this to Martin Davis to give to you in case you don't
happen to get this messagee.
PLEASE DELIVER TO JOHN MCCARTHY.
∂09-Jun-82 0248 YOM Summer
Dear Prof. McCarthy:
As the schoolyear is reaching its end, I wish to discuss the summer with you.
I intend to visit home (Israel) this summer. My original plan was to leave
around mid-June, but the events being as they are in that region of the world,
it is hard to predict whether it might not be earlier. I would like to spend
the summer mainly preparing for the MTC Qual, doing some research on Prolog
questions Carolyn has suggested, and starting to work on a Comp Programming
Project. The current idea for a project is to implement a toy relational data-
base in Seus - a programming language developed by Carolyn and Richard Weyhrauch.
That could be an interesting example of a worthwhile program in Seus.
My visit to Israel was originally planned until mid-September. I intend
to spend 4-5 days a week at the Weitzman Institute, working through the above
plan. Prof. Manna will be there during the summer. I discussed this plan with him
when he visited here last month, and he said he thought it was a good idea to
study there. However, he said he could not support it, since he is short on
support money for the summer, and even had to deny summer support to Ben Moszkowski
for that reason. The question that arises is whether you approve of my plans and
are willing to support me for doing them this summer. Do you have any alternative
ideas for problems to think about / programming project ?
Sincerely,
Yoram.
I need to talk to you about your summer work. I will be here this afternoon
and over the weekend, but I leave on Monday and may not be back till Friday.
Please phone me.
∂09-Jun-82 1159 MDD via NYU ATP "milestone" prize
To: DCL
CC: JMC
I have discussed the prize with McCarthy here at CADE-6 and
after some discussion he agreed to my "Wang" proposal.
He suggested that if Wang is our nominee that I write the citation.
He leaves for Stanford tonight. It is important that this be settled
soon. What do you think? -Martin
∂10-Jun-82 0820 FFL
To: JMC, FFL
A man called from the BBC twice for you. He tried to reach you in London also.
Is doing a program on AI. Is coming on July 14 to see Feigenbaum and hopefully
you. Wanted to know if you would see him. Name is something like Deehan.
Couldn't hear him well and I gave up after several efforts to figure out what
he said his name is.
∂11-Jun-82 0908 MDD via NYU ATP "Milestone" Prize
To: DCL
CC: JMC
This is a "prompt" hoping for a prompt response. Woody needs our
decision by July 1. I'll be in Phoenix June 17 - 26 and at Cornell
starting June 28. What do you think ? -Martin
∂11-Jun-82 1105 DCL
To: MDD at NYU
CC: JMC at SU-AI
∂11-Jun-82 0908 MDD via NYU ATP "Milestone" Prize
To: DCL
CC: JMC
This is a "prompt" hoping for a prompt response. Woody needs our
decision by July 1. I'll be in Phoenix June 17 - 26 and at Cornell
starting June 28. What do you think ? -Martin
REPLY:
Martin,
I sent you a msg. two days ago.
It seems things are not getting to you.
It was a long msg. whcich I cannot repeat here.
In summary I feel
J. A . Robinson should get the prize.
Hao Wang is also a good choice and maybe could be given it this year.
I would not be infavor of Prawitz.
My msg. asked for additional arguemtns as to why Wang over Robinson this
year. While that choice has definite merits, especially to Mathematicians,
the practicing Theorem provers of today (with short memories) are going
to howl.
- David
∂11-Jun-82 1111 JK
Ketonen has been working on further improvements and modifications
to the EKL system, a proof checker using logic with higher types.
Major accomplishments during the last year:
(1) EKL was used by students to prove facts about programs in the introductory
Lisp course at Stanford during the fall of 1981.
(2) A new programmable re-writing system has been developed for EKL.
This has turned out to be a fairly powerful tool in reducing the
lengths of proofs in EKL.
(3) Ketonen has designed a meta theoretic framework for EKL. This
will be added to the system this summer. It seems clear that this
will considerably increase the expressive power of EKL.
(4) A manual reflecting the state of EKL during Jan 1981 was written
by Weening and Ketonen.
(5) Ketonen has published two articles during 1981:
"Efficient theorem proving in set theory",in
University-Level Computer-Assisted Instruction at Stanford: 1968-1980,
edited by Patrick Suppes, IMSSS, Stanford, 1981, pp.121-127
"On a decidable fragment of predicate calculus",in
University-Level Computer-Assisted Instruction at Stanford: 1968-1980,
edited by Patrick Suppes, IMSSS, Stanford, 1981, pp.127-131
∂11-Jun-82 1240 CLT ARPA
To: JMC, LGC
Talcott has been working on formalisms for reasoning about programs.
In particular a model for memory structures such as arrays
or LISP list structures has been developed.
A method for converting programs (LISP like programs including
recursion and iteration constructs) to functions in this model has been given.
Example proofs based on this model have been done.
In fiscal 1983 further development of this methodology will be done,
and the work will be incorporated in to a general system for
formal representation of properties of programs which accounts
for a variety of styles of programming and diverse objects
manipulated by programs ranging from numbers and strings to
memory structures, output devices, robots, etc.
∂11-Jun-82 1345 MDD via NYU your 2 messages on ATP prize
To: DCL
CC: JMC
I just got both of your messages at NYU. In the future I suggest
that originals go to MDD at SAIL with a c.c. to DAVISM at
NYU. Regarding your proposed list, I cannot of course comment on
"davis & putnam" but Robinson, and Wang are of course both
reasonable. For the reasons I indicated in my letter, I would like
Wang to get it first. I have no doubt that Robinson will get an early
prize. There is no reason that our committee can't make suggestions
about future recipients to Bledsoe and/or to our successor.
(In fact I would hope to resign after the first award is made
and I believe it would be good for continuity if you and John
continue to serve.) I hope this helps. Shall we speak by phone?
-Martin
∂11-Jun-82 1432 MDD via NYU This is a PS
To: DCL
CC: JMC
P.S. I agree that if we choose Wang the current
practitioners will "howl". But I feel that Wang is deserving (that
is the award would be appropriate) and it is propably now or
never. (Sorry for the mispelling of "probably".) If we choose
Wang, Robinson will almost certainly be one of the next few choices;
if we choose Robinson, I really doubt whether Wang would ever get
it.-Martin
∂11-Jun-82 2007 LGC Info sent to ARPA
To: JMC, JK, CLT, CG, RPG
The file ARP82[1,LGC] contains the text of the bulletized research
accomplishments and objectives as requested by Ohlander of ARPA, and
netmailed to him late this afternoon. Bulletizing and other textual
manhandling performed by RPG and LGC. -- Lew
∂13-Jun-82 1539 ME DM
∂13-Jun-82 0040 JMC datamedia
The trouble seems to be that something gets confused about the
number of lines on the page, and it moves up after very few lines.
ME - What line are you coming in on, a dialup line or the line your Imlac
uses? If the latter, then the system may think your DM has 30 lines like
your Imlac. Say TTY DM 24 to change (after you've logged in). Another
thing you can try is TTY INIT, but that shouldn't be necessary (and won't
help if the system doesn't know the right number of lines your DM has).
I'm using a dial-up on the Datamedia, and I'll call you about both from home.
∂13-Jun-82 1540 ME Imlac
∂13-Jun-82 0042 JMC
Incidentally, my Imlac is non-functional again.
ME - Please give me a call at my office 497-2462 sometime when you're
home (best is afternoon or evening) so that I can observe the loading
sequence.
∂14-Jun-82 0045 Lowell Wood <LLW at S1-A> Welcome Back!
Date: 14 Jun 1982 0043-PDT
From: Lowell Wood <LLW at S1-A>
Subject: Welcome Back!
To: jmc at SU-AI
CC: LLW at S1-A
∂12-Jun-82 1845 John McCarthy <JMC at SU-AI> I'm back.
Date: 12 Jun 1982 1844-PDT
From: John McCarthy <JMC at SU-AI>
Subject: I'm back.
To: LLW at SU-AI
If you plan to be in at all Sunday, I could come by, and we could
talk about Shackleton and other interesting matters.
[John: I'm sorry--I didn't see this message until now. I'm glad
you're back, and look forward to seeing you when next you drop on
by. Lowell]
∂14-Jun-82 0922 CL.BOYER at UTEXAS-20 halting problem
Date: Monday, 14 June 1982 11:18-CDT
From: CL.BOYER at UTEXAS-20
To: jmc at su-ai, clt at su-ai, atp.bledsoe at UTEXAS-20
Subject: halting problem
You might be interested in [utexas-20]<cl.boyer>undec.doc,
which is a preliminary version of a paper about a mechanical
proof of the unsolvability of the halting problem.
Bob & J
∂14-Jun-82 1140 FFL Call from Packard?, Patrick? Gunkel? from Cambridge, MA
To: JMC, FFL
Was very eager to speak with you. Pls. call 617 492 5021. He will be trying
to get you again on Thursday.
∂14-Jun-82 1308 Carolyn Tajnai <CSD.TAJNAI at SU-SCORE> Marsha Jo Hannah
Date: 14 Jun 1982 1310-PDT
From: Carolyn Tajnai <CSD.TAJNAI at SU-SCORE>
Subject: Marsha Jo Hannah
To: JMC at SU-AI
John, we have an excess number of copies of "Computer Matching of
Areas in Steroe Images" by Marsha Jo Hannah (her dissertation).
We will save 24 copies; send one to archives and dispose of the rest
(about 15). Would you like to have them?
Carolyn
-------
No, but I suggest you ask Tom Binford and Marsha Jo Hannah (Mrs. Lynn Quam) whether
they want the copies (in that order).
∂14-Jun-82 1726 DCL
To: MMD
CC: JMC
∂14-Jun-82 1501 MDD via NYU ATP prize
To: DCL
CC: JMC
Did you get my message(s)? Any thoughts ? -Martin
REPLY:
OK I'll agree to WANG.
- David
∂15-Jun-82 1332 FFL
To: JMC, FFL
Call from Thomas Siolek of Comtex Corp. who asks if you can recomment someone
to him to do the editing which you declined. 212 838 7200.
∂19-Jun-82 0253 ME DM serial number
To: LTP, JMC
Can each of you please tell me what the serial numbers are on your DM WAITS?
There is one serial number on the keyboard and one on the display. Each
should be on a little gray sticker. Thanks.
∂19-Jun-82 2042 ME DMWAITS/Imlac login options
It turns out that if you use just the LOGIN option "FDMWAITS", then you
will get the right set up for both your DMWAITS dialed up and your Imlac.
For the Imlac, it sets the height to 30 automatically (and knows it's an
Imlac, not really a DMWAITS), so you don't need to add "=30" (and you
shouldn't, since it wouldn't be correct for your DMWAITS that way).
∂21-Jun-82 0900 JMC*
Have Mazda headlight fixed.
∂21-Jun-82 1420 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Trattnig Visit
Date: 21 Jun 1982 1417-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Trattnig Visit
To: faculty at SU-SCORE
cc: CSD.IRMGILD at SU-SCORE, jf at SU-AI, csd.dietterich at SU-SCORE
W. Trattnig will be interviewing for a faculty position on Wednesday.
Please let me know as soon as possible whether and when you can see
him as well as whether you would like to join for lunch or dinner.
Thanks,
Irmgild
-------
∂22-Jun-82 1417 FFL
To: JMC, FFL
Dan Friedman called from Indiana U. He wants to know if you are coming to the
LISP conference and if it is OK to put you down as a session chairman - already
has done so! 812 335-4885.
∂22-Jun-82 1418 FFL
To: JMC, FFL
Neal Bond, referred to you by Mike Levinthal would like to speak with you
about LISP programming. 415 956 1579.
∂22-Jun-82 1421 FFL
To: JMC, FFL
While I am on vacation Rosemary Napier will help you with your work. She is
in Room 340 (Prof. Floyd's office). Her phone is 7-3825. I have asked the
switchboard to take good and sufficient messages on both of our phones.
∂23-Jun-82 1638 UNTULIS at SRI-AI Please change password
Date: 23 Jun 1982 1359-PDT
From: UNTULIS at SRI-AI
Subject: Please change password
To: PASSWORD: ;
Please change your password on the SRI-AI computer ASAP. If
you don't, then it may get changed for you.
We are insisting that people change their password because
there have been a number of breakins in the last few weeks. The
people that broke in may have your present password. If they do, they
will be able to get to your files as well as others that you have
access to.
Thanks you in advance for your help.
Chuck
-------
∂23-Jun-82 1712 Paul Martin <PMARTIN at SRI-AI> No tinlunch Thursday
Date: 22 Jun 1982 1748-PDT
From: Paul Martin <PMARTIN at SRI-AI>
Subject: No tinlunch Thursday
To: tinlunchers: ;
Since I was so good at making excuses a few weeks ago, Daniel asked me to
"take care" of TINlnch for him.... Sadly, I've used up all the good excuses,
so we'll have to say that people are STILL away, and so forth.... But the
promised Ron Brachman talk is still coming in a couple of weeks....
Paul
-------
∂23-Jun-82 1830 Gene Golub <CSD.GOLUB at SU-SCORE> New Student Lunch
Date: 23 Jun 1982 1548-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: New Student Lunch
To: faculty at SU-SCORE
Jack and Sally Herriot have always been very kind to invite
the new students to a lunch early in the new quarter. It is
now appropriate for others to take this over. Is there any
volunteer for this next year? Naturally the Department covers
the costs. GENE
-------
∂23-Jun-82 2238 Gene Golub <CSD.GOLUB at SU-SCORE> Freshman Advisors
Date: 23 Jun 1982 2234-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Freshman Advisors
To: faculty at SU-SCORE
There is a need for freshman advisors in the natural sciences
during the next year. Are there any volunteers?
GENE
-------
∂25-Jun-82 1055 Carolyn Tajnai <CSD.TAJNAI at SU-SCORE> Forum -- $518,800
Date: 25 Jun 1982 1047-PDT
From: Carolyn Tajnai <CSD.TAJNAI at SU-SCORE>
Subject: Forum -- $518,800
To: CSD-Faculty: ;
Congratulations to all of us! With a check from Data General and a
bank transfer from Fujitsu, we have topped the half million mark.
Join us in a glass of champagne this afternoon at 4:00 p.m. in
ERL 442.
Carolyn
-------
∂27-Jun-82 0207 Lowell Wood <LLW at S1-A> The New Alexandrian Library
Date: 27 Jun 1982 0206-PDT
From: Lowell Wood <LLW at S1-A>
Subject: The New Alexandrian Library
To: jmc at SU-AI
CC: LLW at S1-A
Dear John:
Some time back, you and I discussed how pleasant it would be to have a
digital computer-based, high bandwidth-netted library-and-journal
publishing operation for use by scholars nation-wide. More recently, we
discussed how nice it would be for a useful fraction of human knowledge
to be available to/from computers after a period of high-speed OCR-type
text inputting. On both occasions, my intrinsically keen enthusiasm for
such happenings was dampened considerably by the thought of the effort
involved in initiating and then sustaining the cash stream necessary to
start and maintain such efforts.
It presently appears, however, that there might be funding available to
pursue one or both ideas (the synergism between them being rather
obvious), even at the several megabuck/year level which is clearly needed
to assemble-and-sustain a critical level of effort and buy the necessary
hardware; unusually enough, getting and keeping the funding seems likely
to involve overhead of a not unreasonable level.
Would you be interested in collaborating with me on elaboration of a plan
for such an undertaking, including the preparation of an adequately
detailed proposal to a likely granting agency (in your capacity as a LLNL
consultant, as a Stanford faculty member, or whatever else most strikes
your fancy)? If not, would you have any suggestions re alternatives?
Lowell
Tentatively, I would prefer to take part in the proposal and subsequent
project as an LLNL consultant, since I prefer to minimize the my direct
administrative responsibilities. I could come out any day this week
except Thursday to discuss it.
∂27-Jun-82 1600 JMC*
862-5438
∂28-Jun-82 0451 HST via SUMEX-AIM lisp
hello,john.i think about to come to lisp 82.in lisp 80 it was planned
that i give a lecture on lisp history.you know my materialand you can decide if it could be intresting for a auditorium of lisp
people.would you be so kind - if you think it's worth - to ask for the
same opportunity as 1980 ?did you ever heard the terminus "open ended
language"?what do you think about lisp without list processing?
bye - herbert stoyan
∂28-Jun-82 1905 Stan at SRI-AI Talk by J. McCarthy
Date: 28 Jun 1982 1812-PDT
From: Stan at SRI-AI
Subject: Talk by J. McCarthy
To: appelt, archbold, konolige, bmoore, nilsson, shieber,
To: stan
cc: jmc at SAIL
John McCarthy will discuss his latest ideas on the "common business
communication language" this Thursday, July 1, in K240 at 10:30 am.
-------
∂28-Jun-82 2024 Lowell Wood <LLW at S1-A> Report
Date: 28 Jun 1982 2020-PDT
From: Lowell Wood <LLW at S1-A>
Subject: Report
To: jmc at SU-AI
CC: LLW at S1-A, RAH at S1-A
∂28-Jun-82 1108 John McCarthy <JMC at SU-AI> report
Date: 28 Jun 1982 0201-PDT
From: John McCarthy <JMC at SU-AI>
Subject: report
To: llw at S1-A, rah at S1-A
Do you have report of "Workshop on utilization of the external
tanks of space transportation system", 12 March 1982? If not,
I'll bring it.
[John: No, we don't have it. Lowell]
∂29-Jun-82 0625 Lowell Wood <LLW at S1-A> Fourth Of July Celebration
Date: 29 Jun 1982 0322-PDT
From: Lowell Wood <LLW at S1-A>
Subject: Fourth Of July Celebration
To: "@PLAN.[DIS,S1]" at S1-A, gio at SU-AI, pn at SU-AI,
ptz at SU-AI, csd.jlh at SU-AI, jmc at SU-AI,
cent at MIT-AI, moon at MIT-AI, dlw at MIT-AI,
danny at MIT-AI, minsky at MIT-AI
Hear Ye, Hear Ye:
Resuming a fine old tradition locally (after last year's lapse), there
will be an Independence Day Celebration this year, and it will even be
held on the Fourth of July; we'll be commemorating the subtle pleasures
and historical virtues of winning when rebelling (at least in the American
context).
Celebrants (among which you, a special friend/POSSLQ and any number of at
least semi-housebroken children of yours are herewith invited to include
yourselves) will assemble at the traditional location under the oaks (just
west of the main parking lot) on the south side of the lake at Del Valle
Regional Park at/about noon, 4 July. Enormous quantities of picnic viands
will be provided throughout the afternoon, during which period you are
expected to engage in aquatics, grassy field sports, heavy-duty
eating-and-drinking, or approved (i.e., more-or-less legal) alternate
activities.
Somewhat before sunset, the party will adjourn to Windy Ridge Ranch on the
ridge on the north side of the Valley, in order to ingest various desserts
(though *not* just ones), inspect the premises-under-construction,
contemplate the sunset and the valley below, pay tuition for poker lessons
from Gloria and Mike, and other (distantly related) activities.
Please respond to this invitation in person, by phone or net mail to Chris
(CEG@S1-A) or Gloria (GAP@S1-A), indicating how many of you will be
coming, and for which of the two portions of the Celebration.
All co-celebrants should feel free to bring along games, divers other
amusements, viands of your particular choice or delectation. Also, please
let other past or present Greater `O' Program members or fellow travelers
know of this Grand Event, as I'm sure that some of them were
(inadvertantly) omitted from the address list.
Lowell
ont
Date: 29 Jun 1982 1133-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: pmessage
To: jmc at SU-AI
Stanford-Phone: (415) 497-2273
Barbara McConnell called from National Geographic Magazine. Please return the
call collect at 202 857-7229.
-------
∂30-Jun-82 0521 Martin.Griss <Griss at UTAH-20> Space/Access
Date: 30 Jun 1982 0616-MDT
From: Martin.Griss <Griss at UTAH-20>
Subject: Space/Access
To: jmc at SU-AI, csd.golub at SU-SCORE
cc: griss at UTAH-20
John:
Just to confirm our brief discussion. As you know, I will be in PA area,
mostly at HP-CSL, next year (~Sept-June), and would like to establish some
relationship at Stanford.
I hope to interact with Pratt, Gabriel and Genesereth on various LISP
related projects (HP9836's and CommonLISP), and with others. I initially do
not want to commit to teach, although Gene and I have discussed a more
formal appointment involving teaching of Algebra and/or LISP portability,
and committee duties, perhaps in Winter quarter.
I would like to have access to some office space, to ArpaNet and to some
of the facilities, with the intent of being at Stanford ~1 day/week
(perhaps 2 half-days), to meet and interact on a regular basis.
Do you think such can be arranged?
Thanks,
Martin Griss
-------
It turns out that the buck was passed to Mike Genesereth rather than to
me on the question of space. I hope that he can work something out.
∂30-Jun-82 0921 TOB
To: JMC, REG
I don't know where it is. Either on the 5th floor or at Powers Lab.
Does LES know?
∂30-Jun-82 0035 JMC piano mover
To: TOB, REG
Where is it, and is anyone using it, and in what condition is it?
Jack Schwartz at Courant Institute may want it.
∂30-Jun-82 1039 Feigenbaum at SUMEX-AIM being P.I. on your grant
Date: 30 Jun 1982 1034-PDT
From: Feigenbaum at SUMEX-AIM
Subject: being P.I. on your grant
To: rww at SU-AI
cc: jmc at SU-AI, csd.golub at SU-SCORE, csd.armer at SU-SCORE,
buchanan at SUMEX-AIM, genesereth at SUMEX-AIM
Richard,
Just to summarize what I decided, and we agreed (for the record with
copies to various concerned people):
I will be the nominal PI on your grant application provided that
a. it is not to ARPA
b. you spend half-time research on "your own thing" and half-time on
my new Advanced Architectures for AI task.
(p.s. in this connection, if your budget needs a small percentage, say
20%, of your time on my new-task budget, that can be done)
c. most important, you arrange with the Department for your own space. We
both understand that John McCarthy would like to use your current space
for another purpose, and I would not like to dissuade him of that desire.
If the HPP moves out of MJH, you will be welcome to move with us (or not,
as you choose; but if you choose to stay in MJH, Gene and Paul will have
to assign you space. I understand you have already talked to Paul about this.)
I just want to have it all in writing so we know where we stand. Bruce can
sign the right PI signature lines if I am on my trip when you need a
signature.
Best wishes,
Ed
-------
∂30-Jun-82 1204 Paul Martin <PMARTIN at SRI-AI> TINlunch for 22 July
Date: 30 Jun 1982 1151-PDT
From: Paul Martin <PMARTIN at SRI-AI>
Subject: TINlunch for 22 July
To: TINlunchers: ;
Is the long-awaited Brachman talk... I promised we would read the paper for a change...
Anyway, it is available from my office before 15 July, and then in
Barbara's office in standard place...Paul
-------
∂30-Jun-82 1621 PJH via SRI-AI hi
john, I am now at SRI until the end of July. Please
keep me in touch with any talks, seminars, etc. you might be giving. Id
be delighted to be able to get together some time and talk about control,
representation, or whatever.
pat
If you come to my talk at SRI tomorrow at 10:30, we can talk thereafter.
∂30-Jun-82 1931 ME on TTY65 (at TV-120) 1931
The AP and NYT wires are dead because of a phone company problem (involving
many AP customers), and the phone company is working on it.
∂01-Jul-82 0319 HST via SUMEX-AIM label in lisp1.5
hello,john!did anybody report you on the erroneous implementation of lab
el in lisp 1.5?it's quite the same problem as with funargs - the environ
ment is lost.that this error seems to be not detected until recently
seems to be an indicator on not very heavy usage.the problem for fixing
the bug is that the a-list cannot be used directly - the new pair
temporary function name - function must be always added anew.
in the lisp1.5 apply function the label-clause has to be changed into:
eq(car(fn);'label) -- apply(caddr(fn);args;cons(cons(cadr(fn);list(
label*;cadr(fn);caddr(fn);a));a));
and a new clause for label* is to bne added:
eq(car(fn);'labelk*) -- apply(cadr(fn);args wrong line
eq(car(fn);'label*) -- apply(caddr(fn);args;cons(cons(cadr(fn);fn);caddd
r(fn)));
bye,herbert stoyan
∂01-Jul-82 0813 CLT tonight
I'm going to Santa Cruz (hopefully the final load) this afternoon.
May be late, may not. Best not count on me for supper.
∂01-Jul-82 0811 CLT Calendar
*(I got two tickets, but you don't have to go if you don't want to)
∂01-Jul-82 1623 Ichiki at SRI-AI 7/8 TINLUNCH
Date: 1 Jul 1982 1623-PDT
From: Ichiki at SRI-AI
Subject: 7/8 TINLUNCH
To: TINlunchers:
To: All TINLUNCH Participants.
The TINLUNCH subject for Thursday, July 8th will be:
INTENTIONS, PLANS AND PRACTICAL REASON
By: Michael Bratman
Copies of the paper should be on Barbara's file cabinet after 4:00pm
Friday.
TINLUNCH will be in Conference Room EK242 (usual time--lunch), Michael
Bratman will attend.
Stan Rosenschein
-------
∂01-Jul-82 1631 Stan at SRI-AI Discussion w/ Lauri & Robin
Date: 1 Jul 1982 1628-PDT
From: Stan at SRI-AI
Subject: Discussion w/ Lauri & Robin
To: TINlunchers:
cc: hayes
Lauri Karttunen & Robin Cooper will meet with us on Wed. July 14 at 9:30
in room J222 to discuss work in progress on implementing (sic) situation
semantics & discourse models. --Stan R.
-------
∂02-Jul-82 1111 REG
∂30-Jun-82 0035 JMC piano mover
To: TOB, REG
Where is it, and is anyone using it, and in what condition is it?
Jack Schwartz at Courant Institute may want it.
I last saw it at the DC Power Lab. Ralph.
∂02-Jul-82 1450 Gene Golub <CSD.GOLUB at SU-SCORE> New appointments
Date: 2 Jul 1982 1447-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: New appointments
To: faculty at SU-SCORE
cc: su-bboards at SU-SCORE
I'm very pleased to announce several new appontments.
Charles Bigelow will be joining the Art and CS departments
beginning in the fall. Chuck brings to the departments a unique
talent in design of digital topography.
Dr Werner Trattnig of the Technical Institute of Vienna will
be an acting assistant professor in CS/EE. He has been actively
interested in software engineerig tools and techniquesfor require-
ments definition and specification of distributed systems.
GENE GOLUB
-------
∂02-Jul-82 1709 LES Piano mover
To: JMC
CC: TOB, REG
∂30-Jun-82 0921 TOB
LES
do you know?
∂30-Jun-82 0035 JMC piano mover
To: TOB, REG
Where is it, and is anyone using it, and in what condition is it?
Jack Schwartz at Courant Institute may want it.
--------
It rests amid accumulating dust and debris at the far end of the old
SAIL conference room.
Les